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
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
Yuan, Zhengheng, Chen, Xiaohong, Liu, Jing, Yu, Yijun, Sun, Haiying, Zhou, Tingliang, Jin, Zhi
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Get full text
Journal Article