Software Test Techniques for System Fault-Tree Analysis.

John C. Knight, Lus G. Nakano

Browse the full SAFECOMP paper archive.