One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs.

Sebastian Junges Joost-Pieter Katoen Mariëlle Stoelinga Matthias Volk

Published in: CoRR (2018)

Keyphrases

logic programming
database
dynamic environments
fault diagnosis
fault detection
conceptual graphs
fault detection and isolation