Compositional Temporal Fault Tree Analysis.

Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos

Browse the full SAFECOMP paper archive.