Safety Verification in Murphy Using Fault Tree Analysis.

Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall

Browse the full ICSE paper archive.