Skip to content

Zhucheng Shao

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2013–2013

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2013ICECCSSpatio-temporal Properties Analysis for Cyber-physical Systems.Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
2013ICTACSpatio-temporal Hybrid Automata for Cyber-Physical Systems.Zhucheng Shao, Jing Liu
2013TASEUnified Modeling of Active and Reactive Components for Real-Time Systems.Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan