Login / Signup
Compositional synthesis of temporal fault trees from state machines.
Nidhal Mahmud
Martin Walker
Yiannis Papadopoulos
Published in:
SIGMETRICS Perform. Evaluation Rev. (2012)
Keyphrases
</>
state machines
state machine
petri net
fault diagnosis
decision trees
recurrent networks
fault detection
temporal information
knowledge base
software engineering
fault tolerant