Decomposing Automatic Train Control Verification System with Projection
Xu, Jing, Chen, Xiaohong, Zhou, Tingliang, Yuan, Zhengheng, Huang, Kezhen
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Get full text
Conference Proceeding
Journal Article
Unified Modeling of Active and Reactive Components for Real-Time Systems
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Get full text
Conference Proceeding