中国铁道科学2021，Vol.42Issue(6)：162-170,9.DOI:10.3969/j.issn.1001-4632.2021.06.17
安全通信协议规范分层模型检验方法
Hierarchical Model Checking Method of Safety Communication Protocol Specification
摘要
关键词
安全通信协议/协议规范验证/模型检验/接口自动机网络/列车控制系统/着色Petri网分类
交通工程引用本文复制引用
张岩,杨磊,曾湘毅,孙文桥,刘启钢..安全通信协议规范分层模型检验方法[J].中国铁道科学,2021,42(6):162-170,9.基金项目
中国国家铁路集团有限公司科技研究开发计划课题(J2020X004) （J2020X004）
中国铁道科学研究院集团有限公司科研开发计划项目(2020YJ029) （2020YJ029）
