Compositional Temporal Fault Tree Analysis

Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos. Compositional Temporal Fault Tree Analysis. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 106-119, Springer, 2007. [doi]

Abstract

Abstract is missing.