Title :
Hazard Analysis: Determining Context For The Use Of Formal Methods
Author_Institution :
Software Verification Research Centre, The University of Queensland, Australia 4072
Keywords :
Failure analysis; Fault trees; Hazards; Risk analysis; Risk management; Software safety; Software standards;
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
DOI :
10.1109/ICFEM.1997.630389
