Formal Verification of Rewriting Rules for Dynamic Fault Trees

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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): 513-531

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Elderhalli, Yassmeen
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène

Identifikationsnummern