SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A translation of State Machines to temporal fault trees
2 references·1 citing·13 second hop
A translation of State Machines to temporal fault trees (2010)A translation of State Machines to tempor…Pandora : a logic for the qualitative analysis of temporal fault trees (2009)Pandora : a logic for the qua…Compositional Temporal Fault Tree Analysis (2007)Compositional Temporal Fault …Compositional synthesis of temporal fault trees from state machines (2012)Compositional synthesis of te…Time and modality (1957)b'Fault Tree Handbook' (1981)A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes (2003)Quantification of Priority-OR Gates in Temporal Fault Trees (2012)Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks (2014)Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets (2015)Fault Tree Handbook (1987)Minimal cut set/sequence generation for dynamic fault trees (2004)Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis (2010)Model-based System Engineering for Fault Tree Generation and Analysis (2013)A modular approach for analyzing static and dynamic fault trees (2002)A new approach to solve dynamic fault trees (2003)Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment (2008)
this work references cited by second hop

References

  • 2007Compositional Temporal Fault Tree Analysis47 cited
  • 2009Pandora : a logic for the qualitative analysis of temporal fault trees42 cited

Cited by

  • 2012Compositional synthesis of temporal fault trees from state machines18 cited

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