Zhucheng Shao

According to our database, Zhucheng Shao authored at least 3 papers in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.

Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Spatio-temporal Hybrid Automata for Cyber-Physical Systems.

Zhucheng Shao, Jing Liu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013