Title :
Software can be entrusted with high consequence functionality
Author_Institution :
NASA Langley Research Center
Keywords :
Aerospace control; Aerospace electronics; Aircraft manufacture; Aircraft navigation; Application software; Digital systems; Hardware; NASA; Software systems; Tides;
Conference_Titel :
High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on
Print_ISBN :
0-7695-0418-3
DOI :
10.1109/HASE.1999.809505