铁道科学与工程学报2022,Vol.19Issue(4):P.1081-1091,11.DOI:10.19713/j.cnki.43-1423/u.T20210414
CBTC区域控制器切换场景的建模与验证
摘要
关键词
列控系统/区域控制器/UML/有色Petri网分类
交通工程引用本文复制引用
孙维正,旷文珍..CBTC区域控制器切换场景的建模与验证[J].铁道科学与工程学报,2022,19(4):P.1081-1091,11.基金项目
甘肃省科技计划项目(20JR5RA407,20CX9JA125)。 (20JR5RA407,20CX9JA125)