@dblp

Deriving Safety Cases for Hierarchical Structure in Model-Based Development.

, , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 68-81. Springer, (2010)

Links and resources

Tags