共 22 条
[1]
Air Traffic Organization NextGen&Operations Planning Office of Research and Technology Development, 2009, DOTFAAAR0927 AIR TRA
[2]
[Anonymous], 2000, 1 ISOIEC JTC
[3]
[Anonymous], 2006, ARCHITECTURE ANAL DE
[4]
[Anonymous], 2011, ACE100 FED AV ADM
[5]
[Anonymous], S18 SAE INT
[6]
[Anonymous], 2008, 1633 WG IEEE SOFTW R
[8]
Dhillon B.S., 1999, Design Reliability: Fundamentals and applications
[9]
Domitian T.-S., 2015, ACM T EMBEDDED COMPU, V14
[10]
Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0
[J].
PROCESSES,
2019, 7 (02)