Safety Assessment Method of IMA Architecture Supporting Airworthiness Certification
ZHANG Gui, ZHANG Yuping, CHEN Haiyan
Journal of Frontiers of Computer Science and Technology . 2016, (8): 1063 -1071 .  DOI: 10.3778/j.issn.1673-9418.1509055