Using a Software Safety Argument Pattern Catalogue: Two Case Studies.

Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly

Browse the full SAFECOMP paper archive.