DocumentCode
320876
Title
Techniques For Safety Critical Software Development
Author
Kiper, J.D.
Volume
3
fYear
1998
fDate
1998
Firstpage
336
Lastpage
337
Keywords
Application software; Control systems; Costs; Formal specifications; Formal verification; Military computing; Programming; Software engineering; Software safety; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on
Print_ISBN
0-8186-8255-8
Type
conf
DOI
10.1109/HICSS.1998.656297
Filename
656297
Link To Document