Effective Static and Dynamic Fault Tree Analysis

Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál. Effective Static and Dynamic Fault Tree Analysis. In Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Volume 9922 of Lecture Notes in Computer Science, pages 266-280, Springer, 2016. [doi]

Abstract

Abstract is missing.