共 21 条
[1]
Airborne Software Assurance, 2013, 20115C FAA AC
[2]
[Anonymous], 2011, RTCA: DO-333
[3]
[Anonymous], 1996, ARP4761
[4]
[Anonymous], 2010, ARP4754A SAE INT
[5]
[Anonymous], 2011, RTCA DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A
[6]
[Anonymous], 2011, RTCA DO-330
[7]
[Anonymous], 1992, DO178B RTCA
[8]
Daniels D, 2011, P 6 IET INT C SYST S, P1
[9]
Dodd I., 2011, RELIABILITY ENG SYST
[10]
Gigante Gabriella, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. Proceedings of the 5th International Symposium, ISoLA 2012, P205, DOI 10.1007/978-3-642-34032-1_21