Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Towards a sound semantics for dynamic fault trees

7 references·1 citing·31 second hop

FromToDepth

this work references cited by second hop

References

2003A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes230 cited
2007Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains171 cited
2010Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events135 cited
2013The AltaRica 3.0 Project for Model-Based Safety Assessment109 cited
2004Parametric fault trees with dynamic gates and repair boxes88 cited
2011Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees43 cited
2010Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis34 cited

Cited by

2015Scalable Analysis of Fault Trees with Dynamic Features11 cited

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