Formal Verification of Rewriting Rules for Dynamic Fault Trees

Cham / Springer International Publishing (2019) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier