Deriving Safety Cases for Hierarchical Structure in Model-Based Development

Nurlida Basir, Ewen Denney, Bernd Fischer. Deriving Safety Cases for Hierarchical Structure in Model-Based Development. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 68-81, Springer, 2010. [doi]

Authors

Nurlida Basir

This author has not been identified. It may be one of the following persons: Look up 'Nurlida Basir' in Google

Ewen Denney

This author has not been identified. It may be one of the following persons: Look up 'Ewen Denney' in Google

Bernd Fischer 0002

Identified as Bernd Fischer