Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards
LIU Youlin, ZHENG Wei, TAN Lijuan, FAN Xin, YANG Fengyu
Computer Engineering and Applications . 2021, (11): 1 -10 .  DOI: 10.3778/j.issn.1002-8331.2101-0280