车载设备工作流程论文

基于时间自动机的CTCS-3级列控车载设备建模与验证
论文摘要铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列控系统中的重要组成部分,UPPAAL...