Compositionality of Component Fault Trees

Simon Greiner, Peter Munk, Arne Nordmann. Compositionality of Component Fault Trees. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 125-140, Springer, 2019. [doi]

Abstract

Abstract is missing.