An Ada Run-Time Environment Supporting the Development of Verifiable Realtime Software for Embedded Modular Avionics Systems
12th Conference, Digital avionics systems ; 1993 ; Seattle; WA [unconfirmed]
1993-01-01
6 pages
Also known as 12th DASC. Theme title "Digital avionics for the 21st Century". IEEE cat no 93CH3327-4
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Modular embedded computer software for advanced avionics systems
Tema Archiv | 1990
|An integrated modular avionics development environment
Tema Archiv | 2009
|An Integrated Modular Avionics Development Environment
British Library Conference Proceedings | 2009
|An integrated modular avionics development environment
IEEE | 2009
|