Software for Avionics
1983
450 pages
Report
No indication
English
Avionics , Computer program integrity , Computer systems programs , Military technology , Pascal (Programming language) , Software tools , Computer design , Data base management systems , Life (Durability) , Microprocessors , Program verification (Computers) , Real time operation , User requirements , Foreign technology
Avionics software performability
IEEE | 1992
|Generic Avionics Software Specification
NTIS | 1990
|Avionics Software Expert System Design
NTIS | 1988
|Reusing Safety-Critical Avionics Software
SAE Technical Papers | 2012
|