CTCS-1级列控系统等级转换场景建模与验证

王颖卓，刘中田

Modeling and Verification of Level Transition Scenario of Train Control System CTCS-1

WANG Yingzhuo, LIU Zhongtian

计算机工程与应用 . 2019, (18): 256 -262 . DOI: 10.3778/j.issn.1002-8331.1807-0056