Login / Signup

A reduction approach to improve the quantification of linked fault trees through binary decision diagrams.

Cristina Ibáñez-LlanoAntoine RauzyEnrique MeléndezFrancisco Nieto
Published in: Reliab. Eng. Syst. Saf. (2010)
Keyphrases
  • binary decision diagrams
  • decision trees
  • fault diagnosis
  • symbolic model checking
  • databases
  • expert systems
  • design process
  • fault detection