Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems

Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. In Stephen W. Gilroy, Michael D. Harrison, editors, Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Volume 3941 of Lecture Notes in Computer Science, pages 51-66, Springer, 2005. [doi]

Authors

Sandra Basnyat

This author has not been identified. Look up 'Sandra Basnyat' in Google

Nick Chozos

This author has not been identified. Look up 'Nick Chozos' in Google

Chris Johnson

This author has not been identified. Look up 'Chris Johnson' in Google

Philippe A. Palanque

This author has not been identified. Look up 'Philippe A. Palanque' in Google