Dynamic fault-tree models for fault-tolerant computer systems
From MaRDI portal
Cited in
(17)- How to capture dynamic behaviours of dependable systems
- The marriage between safety and cybersecurity: still practicing
- The how and why of interactive Markov chains
- Parameter synthesis for Markov models: covering the parameter space
- A review of decision diagrams in system reliability modeling and analysis
- A compositional semantics for repairable fault trees with general distributions
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
- Fuzzy temporal fault tree analysis of dynamic systems
- DAG-based attack and defense modeling: don't miss the forest for the attack trees
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
- Fault trees on a diet: automated reduction by graph rewriting
- Cold vs. hot standby mission operation cost minimization for 1-out-of-\(N\) systems
- Hamiltonian cycles in hypercubes with faulty edges
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- A review of attack graph and attack tree visual syntax in cyber security
- On the Minimisation of Acyclic Models
This page was built for publication: Dynamic fault-tree models for fault-tolerant computer systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4021349)
