基于SysML2NuSMV的民用飞机电传飞控系统安全性分析
赖康, 陆中, 程大炜, 缪炜润
Safety analysis of civil aircraft fly-by-wire system based on SysML2NuSMV
Kang LAI, Zhong LU, Dawei CHENG, Weirun MIAO
系统工程与电子技术 . 2025, (11): 3802 -3815 .  DOI: 10.12305/j.issn.1001-506X.2025.11.27

京ICP备11035014号-5
版权所有 © 2019 北京航天情报与信息研究所《系统工程与电子技术》编辑部
通讯地址：北京市142信箱32分箱《系统工程与电子技术》编辑部(100854)
电　话：(010)68388406/68386014    E-mail：xtgcydzjs@126.com(系统工程与电子技术)/jseeoffice@126.com(JSEE)
本系统由北京玛格泰克科技发展有限公司设计开发