Zhucheng Shao

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Hybrid Automata

Embedded Real Time Systems

Spatio Temporal

Embedded Systems

Top Venues

Publications

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS (2013)
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE (2013)
Zhucheng Shao, Jing Liu
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC (2013)