基于UPPAAL的高铁列控系统等级转换过程建模与验证
康仁伟;王俊峰;吕继东
UPPAAL-based modeling and verification of level transition process of high-speed railway train control system
KANG Renwei;WANG Junfeng;LU Jidong
北京交通大学学报
.
2012, (6): 63
-67
.
DOI: 10.11860/j.issn.1673-0291.2012.06.012
