Login / Signup

A fault tree analysis strategy using binary decision diagrams.

Karen A. ReayJohn D. Andrews
Published in: Reliab. Eng. Syst. Saf. (2002)
Keyphrases
  • binary decision diagrams
  • fault tree analysis
  • fault tree
  • boolean functions
  • variable ordering
  • symbolic model checking
  • model checking
  • data mining
  • artificial intelligence
  • knowledge discovery
  • state space