Deriving Quantified Safety Requirements in Complex Systems.

Peter A. Lindsay, John A. McDermid, David J. Tombs

Browse the full SAFECOMP paper archive.