Jingyue Jiang

发表

The Formalisation and Analysis of Sequential Function Charts Using a Petri Net Approach

D. J. Holding, Jingyue Jiang, 1996 .

Development of real-time process control systems using formal techniques

Jingyue Jiang, 1995 .