基于形式化方法的城轨FAO系统在线危险预测技术

欢迎访问铁路通信信号工程技术，今天是 English

基于形式化方法的城轨FAO系统在线危险预测技术

杨艳艳, 王祺, 柴铭

Online Hazard Prediction of FAO Based on Formal Verification

Yang Yanyan, Wang Qi, Chai Ming

铁路通信信号工程技术 . 2021, (6): 76 -81 . DOI: 10.3969/j.issn.1673-4440.2021.06.015