Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio. Coyan: Fault Tree Analysis - Exact and Scalable. In Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings. Volume 14988 of Lecture Notes in Computer Science, pages 235-250, Springer, 2024. [doi]
Abstract is missing.