Login / Signup
A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.
Rasa Remenyte
John D. Andrews
Published in:
ARES (2006)
Keyphrases
</>
binary decision diagrams
learning algorithm
qualitative analysis
fault tree
real time
model checking