| 2008 |
|---|
| 4 | EE | Zong Bo Hao,
Nan Sang,
Hang Lei:
Cooperative Coverage by Multiple Robots with Contact Sensors.
RAM 2008: 543-548 |
| 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 |
