Xijiao Xiong

According to our database, Xijiao Xiong authored at least 4 papers between 2009 and 2015.

Collaborative distances:

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

2015

Modeling and analysis of interactive telemedicine systems.

Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He

Innov. Syst. Softw. Eng., 2015

2011

Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP.

Dehui Du, Xijiao Xiong

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Modeling and Verification of an Automatic Train Protection System.

Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Design and Verification of a Trustable Medical System.

Xijiao Xiong, Jing Liu, Zuohua Ding

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009