铁路通信信号工程技术2021，Vol.18Issue(6)：76-81,6.DOI:10.3969/j.issn.1673-4440.2021.06.015
基于形式化方法的城轨FAO系统在线危险预测技术
Online Hazard Prediction of FAO Based on Formal Verifi cation
摘要
关键词
全自动运行/形式化验证/混成自动机/危险预测分类
交通工程引用本文复制引用
杨艳艳,王祺,柴铭..基于形式化方法的城轨FAO系统在线危险预测技术[J].铁路通信信号工程技术,2021,18(6):76-81,6.基金项目
北京市自然科学基金项目(L181005) （L181005）
