BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

Basgöze, Daniel; Volk, Matthias (Corresponding author); Katoen, Joost-Pieter; Khan, Shahid; Stoelinga, Marielle

Cham : Springer International Publishing (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Seite(n)/Artikel-Nr.: 713-732

Einrichtungen

• Profilbereich Information & Communication Technology (ICT) [080017]
• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]