论文信息 - Use of a Hazard and Operability Study for Evaluation of ABS Control Logic - 字舞流文

Use of a Hazard and Operability Study for Evaluation of ABS Control Logic

Michael J. Schneider

[1] J. R. Catmur,et al. SAFETY ASSESSMENT OF COMPUTER SYSTEMS USING HAZOP AND AUDIT TECHNIQUES , 1992 .

[2] R. M. Pitblado,et al. A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .

[3] M F Chudleigh. Hazard analysis of a computer based medical diagnostic system. , 1994, Computer methods and programs in biomedicine.

[4] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .

[5] 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.