Safety Case Construction and Reuse Using Patterns.

Tim P. Kelly, John A. McDermid

Browse the full SAFECOMP paper archive.