A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis

Hichem Boudali, Pepijn Crouzen, Mariƫlle Stoelinga. A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Sec. Comput., 7(2):128-143, 2010. [doi]

Abstract

Abstract is missing.