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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.