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

Nurlida Basir, Ewen Denney, Bernd Fischer

Browse the full SAFECOMP paper archive.