Using Reason’s Model of Organisational Accidents in Formalising Accident Reports
暂无分享,去创建一个
[1] Chris W. Johnson,et al. A formal and structured approach to the use of task analysis in accident modelling , 1998, Int. J. Hum. Comput. Stud..
[2] H. S. Eisner. The Channel Tunnel Safety Authority , 2000 .
[3] Nancy G Leveson,et al. Software safety: why, what, and how , 1986, CSUR.
[4] Gregory D. Abowd,et al. Agents: Communicating interactive processes , 1990, IFIP TC13 International Conference on Human-Computer Interaction.
[5] Alain Kerbrat,et al. CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.
[6] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[7] James T. Reason,et al. Managing the risks of organizational accidents , 1997 .
[8] Christopher W. Johnson,et al. Extending the application of formal methods to analyse human error and system failure during accident investigations , 1996, Softw. Eng. J..
[9] Chris W. Johnson,et al. PII: S0951-8320(99)00066-6 , 1999 .