DocumentCode

3341912

Title

Hazard Analysis: Determining Context For The Use Of Formal Methods

Author

Lindsay, Peter

Author_Institution

Software Verification Research Centre, The University of Queensland, Australia 4072

fYear

1997

fDate

12-14 Nov. 1997

Firstpage

3

Lastpage

3

Keywords

Failure analysis; Fault trees; Hazards; Risk analysis; Risk management; Software safety; Software standards;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on

Conference_Location

Hiroshima, Japan

Print_ISBN

0-8186-8002-4

Type

conf

DOI

10.1109/ICFEM.1997.630389

Filename

630389