@article{刘中田_76,
author = {[刘中田, 吕继东, 孙伟亮]},
title = {CTCS-3级列控系统车地交互流程形式化建模与验证},
publisher = {星空电竞app2026最新版学报},
year = {2011},
journal = {星空电竞app2026最新版学报},
volume = {35},
number = {2},
eid = {76},
pages = {76-81},
keywords = {列车运行控制系统;车地信息交互流程;形式化建模与验证;时间自动机},
url = https://jdxb.bjtu.edu.cn/CN/abstract/article_2596.shtml
}