铁路通信信号工程技术2022，Vol.19Issue(6)：5-11,7.DOI:10.3969/j.issn.1673-4440.2022.06.002
基于B方法的道岔控制系统形式化建模与验证
Formal Modeling and Verification of Point Control System Based on Method B
摘要
关键词
道岔控制系统/B方法/形式化验证/代码生成分类
交通工程引用本文复制引用
刘宁,韩程,王峥,侯锡立,王恪铭..基于B方法的道岔控制系统形式化建模与验证[J].铁路通信信号工程技术,2022,19(6):5-11,7.基金项目
国家重点研发计划资助项目(2016YFB1200602) （2016YFB1200602）
