Method for the verification of safety requirements of avionics systems
DING Ming,ZHANG Shuling,ZHANG Chen,Zhang Jun
Journal of Xidian University . 2019, (3): 66 -73 .  DOI: 10.19665/j.issn1001-2400.2019.03.011