![]() |
| 2007 | ||
|---|---|---|
| 3 | EE | Yong Liao, Xudong Chen, Guangze Xiong, Qingxin Zhu, Nan Sang: End-to-End Utilization Control for Aperiodic Tasks in Distributed Real-Time Systems. J. Comput. Sci. Technol. 22(1): 135-146 (2007) |
| 2004 | ||
| 2 | EE | Jinyu Zhan, Nan Sang, Guangze Xiong: Formal Co-verification for SoC Design with Colored Petri Net. ICESS 2004: 188-195 |
| 1 | EE | Shiping Yang, Nan Sang, Guangze Xiong: Safety Testing of Safety Critical Software Based on Critical Mission Duration. PRDC 2004: 97-102 |
| 1 | Xudong Chen | [3] |
| 2 | Yong Liao | [3] |
| 3 | Guangze Xiong | [1] [2] [3] |
| 4 | Shiping Yang | [1] |
| 5 | Jinyu Zhan | [2] |
| 6 | Qingxin Zhu | [3] |