- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Hehua Zhang, Stephan Merz, Ming Gu: Specifying and Verifying PLC Systems with TLA+. TASE 2009: 293-294 |
| 2008 | ||
| 3 | | Hehua Zhang, Ming Gu, Xiaoyu Song: Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium 2008: 279-285 |
| 2 | | Hehua Zhang, Ming Gu, Xiaoyu Song: Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES 2008: 103-110 |
| 1 | | Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang: Verifying programmable logic controllers with abstraction. SIES 2008: 225-228 |
| 1 | Ming Gu | [1] [2] [3] [4] |
| 2 | Stephan Merz | [4] |
| 3 | Xiaoyu Song | [1] [2] [3] |
| 4 | Rui Wang | [1] |