Login / Signup
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits.
Richard Banach
Marco Bozzano
Published in:
Formal Aspects Comput. (2013)
Keyphrases
</>
reactive systems
model checking
high speed
temporal logic
fault detection
information flow
fault diagnosis
decision trees
low power
fault models
petri net
formal methods
control flow
model based diagnosis
state machines
neural network
tree structure
relevance feedback
case study
artificial intelligence