The Dynamic Fault Tree Rare Event Simulator

Carlos E. Budde, Enno Ruijters, Mariƫlle Stoelinga. The Dynamic Fault Tree Rare Event Simulator. In Marco Gribaudo, David N. Jansen, Anne Remke, editors, Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Volume 12289 of Lecture Notes in Computer Science, pages 233-238, Springer, 2020. [doi]

Abstract

Abstract is missing.