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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=320876
بازگشت