高速列车ATP控车模式的形式化模型与安全性分析
承向军，应志鹏，杜鹏
Formalization Model of High Speed Trains in ATP Control and Its Safety Analysis
中国安全科学学报 . 2008, (3): 28 . 

京公网安备 11010502045206号 京ICP备17070548号-2
版权所有 © 《中国安全科学学报》编辑部
地址：北京市朝阳区惠新西街17号科研大厦202　邮编：100029
电话：010-64464782，64464783　 Email：csstlp@263.net
本系统由北京玛格泰克科技发展有限公司设计开发　技术支持：support@magtech.com.cn
京公网安备 11010502045206号