TY - 中国安全科学学报 A1 - 赵长啸, 阎芳, 邢培培, 王鹏 T1 - 面向民机综合化航电系统的安全例证法研究 Y1 - JF - 中国安全科学学报 JO - 中国安全科学学报 SP - 82 EP - 87 VL - 27 IS - 7 UR - http://www.cssjj.com.cn N1 - 10.16265/j.cnki.issn1003-3033.2017.07.015 ER -