Effective Static and Dynamic Fault Tree Analysis.

Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl

Browse the full SAFECOMP paper archive.