Login / Signup

A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.

Rasa RemenyteJohn D. Andrews
Published in: ARES (2006)
Keyphrases
  • binary decision diagrams
  • learning algorithm
  • qualitative analysis
  • fault tree
  • real time
  • model checking