TY - 航空学报 A1 - 胡晓义, 王如平, 王鑫, 付永涛 T1 - 基于模型的复杂系统安全性和可靠性分析技术发展综述 Y1 - 2020-06-15 JF - 航空学报 JO - 航空学报 SP - 523436 EP - 523436 VL - 41 IS - 6 UR - https://hkxb.buaa.edu.cn N1 - 10.7527/S1000-6893.2019.23436 ER -