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]
Abstract is missing.