Title :
Techniques For Safety Critical Software Development
Author :
Kiper, James D. ; Auernheimer, Brent ; Ames, Charles K.
Author_Institution :
Department of Systems Analysis, Miami University
Keywords :
Aerospace control; Air traffic control; Aircraft; Application software; Injuries; Power generation; Programming; Software safety; Tires; Traffic control;
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI, USA
Print_ISBN :
0-8186-7743-0
DOI :
10.1109/HICSS.1997.663180