CTCS-3级列控系统车地交互流程形式化建模与验证
刘中田;吕继东;孙伟亮
Formal modeling and checking of procedure message exchange between train-ground for CTCS level 3
LIU Zhongtian;LU Jidong;SUN Weiliang
北京交通大学学报 . 2011, (2): 76 -81 . 

版权所有 © BJTUICP备15103003
地址：北京交通大学9号办公楼910/914室　
邮编：100044　
电话：(86-10)51688053/51684129　
E-mail：bfxb@bjtu.edu.cn
技术支持：北京玛格泰克科技发展有限公司