西南交通大学学报2019，Vol.54Issue(3)：573-578,603,7.DOI:10.3969/j.issn.0258-2724.20180607
基于形式化方法的道口控制系统规范建模与验证
Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method
摘要
关键词
铁路运输/铁路道口/需求规范/形式化方法/系统设计/模型验证分类
信息技术与安全科学引用本文复制引用
王恪铭,王峥..基于形式化方法的道口控制系统规范建模与验证[J].西南交通大学学报,2019,54(3):573-578,603,7.基金项目
国家自然科学基金资助项目(71502146,61673320) （71502146,61673320）
中央高校基本科研业务费资助项目(2682017ZT12) （2682017ZT12）
