SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A new generation algorithm of fault tree minimal cut sets and its application in CBTC system
4 references·0 citing·14 second hop
A new generation algorithm of fault tree minimal cut sets and its application in CBTC system (2013)A new generation algorithm of fault tree …A simple component connection approach for fault tree conversion to binary decision diagram (2006)A simple component connection…Mathematical foundations of minimal cutsets (2001)Mathematical foundations of m…New algorithms for fault trees analysis (1993)New algorithms for fault tree…Fault trees and Markov models for reliability analysis of fault-tolerant digital systems (1993)Fault trees and Markov models…Reliability engineering and risk assessment (1981)DIFtree: a software package for the analysis of dynamic fault tree models (2002)Fault trees and sequence dependencies (2002)Minimal cut set/sequence generation for dynamic fault trees (2004)Fault Tree Analysis (2008)A time-dependent methodology for fault tree evaluation (1970)Improved accuracy in quantitative fault tree analysis (1997)Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams (2012)Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia (1997)A fast BDD algorithm for large coherent fault trees analysis (2003)Can we trust PRA? (2004)Techniques and methodologies for risk analysis in chemical process industries (1998)Event-tree analysis using binary decision diagrams (2000)A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes (2003)
this work references cited by second hop

References

  • 1993New algorithms for fault trees analysis472 cited
  • 1993Fault trees and Markov models for reliability analysis of fault-tolerant digital systems125 cited
  • 2001Mathematical foundations of minimal cutsets121 cited
  • 2006A simple component connection approach for fault tree conversion to binary decision diagram23 cited

Cited by

No citing works inside the corpus for this window.

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work