Login / Signup
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits.
Richard Banach
Marco Bozzano
Published in:
Formal Aspects Comput. (2013)
Keyphrases
</>
reactive systems
logic circuits
model checking
asynchronous circuits
fault diagnosis
temporal logic
decision trees
petri net
fault models
control flow
information flow
formal methods
high speed
fault detection
data flow
fault model
tree structure
relational databases