TY - 系统工程与电子技术 A1 - 牛浩田, 马存宝, 韩佩, 衣健民 T1 - 面向航电系统任务安全性的形式化建模与验证 Y1 - 2023-04-21 JF - 系统工程与电子技术 JO - 系统工程与电子技术 SP - 1553 EP - 1569 VL - 45 IS - 5 UR - https://www.sys-ele.com N1 - 10.12305/j.issn.1001-506X.2023.05.33 ER -