面向适航认证的IMA架构安全性评估方法

张贵，张育平，陈海燕

Safety Assessment Method of IMA Architecture Supporting Airworthiness Certification

ZHANG Gui, ZHANG Yuping, CHEN Haiyan

计算机科学与探索 . 2016, (8): 1063 -1071 . DOI: 10.3778/j.issn.1673-9418.1509055