Xijiao Xiong

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Intelligent User Interfaces

Interactive Exploration

Top Venues

Innov. Syst. Softw. Eng.

Publications

Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11 (1) (2015)
Dehui Du, Xijiao Xiong
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. COMPSAC Workshops (2011)
Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops (2010)
Xijiao Xiong, Jing Liu, Zuohua Ding
Design and Verification of a Trustable Medical System. Electron. Notes Theor. Comput. Sci. 266 (2010)