Coyan: Fault Tree Analysis - Exact and Scalable.

Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio

Browse the full SAFECOMP paper archive.