SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Partially automatic generation of fault-trees with time dependencies
3 references·0 citing·11 second hop
Partially automatic generation of fault-trees with time dependencies (2006)Partially automatic generation of fault-t…Formalising Fault Trees (1995)Formalising Fault TreesExtending Safety Analysis Techniques with Formal Semantics (1994)Extending Safety Analysis Tec…Efficient Construction of Minimal Cut Sets from Fault Trees (1977)Efficient Construction of Min…Fault Tree Handbook (1987)An Object-Based Approach to Modelling and Analysis of Failure Properties (1997)Timing Aspects of Fault Tree Analysis of Safety Critical Systems (1997)Fault tree construction of hybrid system requirements using qualitative formal method (2004)New methodology for obtaining cut sets for fault trees (1972)An Efficient Bottom-up Algorithm for Enumerating Minimal Cut Sets of Fault Trees (1979)An Efficient Computational Technique for Evaluating the Cut/Tie Sets and Common-Cause Failures of Complex Systems (1981)A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems (2020)A Method of Analysis of Fault Trees with Time Dependencies (2000)Extending fault trees with an AND-THEN gate (2002)Fault trees and sequence dependencies (2002)
this work references cited by second hop

References

  • 1977Efficient Construction of Minimal Cut Sets from Fault Trees34 cited
  • 1994Extending Safety Analysis Techniques with Formal Semantics27 cited
  • 1995Formalising Fault Trees20 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