Modeling and Verification of Level Transition Scenario of Train Control System CTCS-1
WANG Yingzhuo, LIU Zhongtian
Computer Engineering and Applications . 2019, (18): 256 -262 .  DOI: 10.3778/j.issn.1002-8331.1807-0056