Safety Case Development: Current Practice, Future Prospects
暂无分享,去创建一个
[1] John A. McDermid,et al. Safety Cases for Software Application Reuse , 1995, SAFECOMP.
[2] John A. McDermid,et al. Integrated Analysis of Complex Safety Critical Systems , 1995, Comput. J..
[3] John A. McDermid,et al. A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
[4] John A. McDermid,et al. Support for safety cases and safety arguments using SAM , 1994 .
[5] P.K.D. Froome. Interim Def Stan 00-56: hazard analysis and safety classification of the computer and programmable electronic system elements of defence equipment , 1994 .
[6] Trevor A. Kletz,et al. Hazop & Hazan: Identifying and Assessing Process Industry Hazards, Fouth Edition , 1999 .