The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 3
P. Lindsay , Software Verification Research Centre, The University of Queensland, Australia 4072
INDEX TERMS
Hazards, Software safety, Failure analysis, Fault trees, Risk management, Risk analysis, Software standards
CITATION

P. Lindsay, "Hazard Analysis: Determining Context For The Use Of Formal Methods," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, , pp. 3.
doi:10.1109/ICFEM.1997.630389
84 ms
(Ver 3.3 (11022016))