SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formalising Fault Trees
2 references·4 citing·11 second hop
Formalising Fault Trees (1995)Formalising Fault TreesExtending Safety Analysis Techniques with Formal Semantics (1994)Extending Safety Analysis Tec…Fault Tree Handbook (1987)Fault Tree HandbookPartially automatic generation of fault-trees with time dependencies (2006)Partially automatic generatio…Fault tree construction of hybrid system requirements using qualitative formal method (2004)Fault tree construction of hy…Timing Aspects of Fault Tree Analysis of Safety Critical Systems (1997)Timing Aspects of Fault Tree …An Object-Based Approach to Modelling and Analysis of Failure Properties (1997)An Object-Based Approach to M…b'Fault Tree Handbook' (1981)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)Efficient Construction of Minimal Cut Sets from Fault Trees (1977)Risk analysis and assessment methodologies in the work sites: On a review, classification and comparative study of the scientific literature of the period 2000–2009 (2011)Imprecise probabilities in engineering analyses (2013)Methods and models in process safety and risk management: Past, present and future (2015)Fault root cause tracing of complicated equipment based on fault graph (2012)FAULT AND EVENT-TREE TECHNIQUES IN OCCUPATIONAL HEALTH-SAFETY SYSTEMS - PART II: STATISTICAL ANALYSIS (2014)An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems (2016)
this work references cited by second hop

References

  • 1987Fault Tree Handbook775 cited
  • 1994Extending Safety Analysis Techniques with Formal Semantics27 cited

Cited by

  • 2004Fault tree construction of hybrid system requirements using qualitative formal method15 cited
  • 1997Timing Aspects of Fault Tree Analysis of Safety Critical Systems7 cited
  • 1997An Object-Based Approach to Modelling and Analysis of Failure Properties7 cited
  • 2006Partially automatic generation of fault-trees with time dependencies6 cited

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