西南交通大学学报2022，Vol.57Issue(1)：28-35,45,9.DOI:10.3969/j.issn.0258-2724.20200378
高铁信号系统安全关键功能测试建模方法
Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System
摘要
关键词
铁路信号系统/建模方法/时间状态机/Z语言/时间自动机分类
交通工程引用本文复制引用
李耀,张晓霞,郭进,张亚东..高铁信号系统安全关键功能测试建模方法[J].西南交通大学学报,2022,57(1):28-35,45,9.基金项目
国家自然科学基金(61703349) （61703349）
