Formal Verification of Rewriting Rules for Dynamic Fault Trees.

Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofine Tahar

Browse the full SEFM paper archive.