High Assurance Security and Safety for Digital Avionics
Conference; 23RD, Digital avionics systems:; Avionics systems: transitioning to the next generation ; 2004 ; Salt Lake City, UT
2004-01-01
8E4
Conference paper
English
Digital avionics systems , IEEE , DASC , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
High assurance security and safety for digital avionics
IEEE | 2004
|Aircraft separation assurance avionics
AIAA | 1981
|Design Assurance Evaluation of Microcontrollers for safety critical Avionics
ArXiv | 2018
|