Formal Verification of Rewriting Rules for Dynamic Fault Trees

Elderhalli, Yassmeen (Corresponding author); Volk, Matthias; Hasan, Osman; Katoen, Joost-Pieter; Tahar, Sofiène

Cham : Springer (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.)
Seite(n)/Artikel-Nr.: 513-531

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]