Pages that link to "Item:Q4021349"
From MaRDI portal
The following pages link to Dynamic fault-tree models for fault-tolerant computer systems (Q4021349):
Displayed 14 items.
- Fuzzy temporal fault tree analysis of dynamic systems (Q313128) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- DAG-based attack and defense modeling: don't miss the forest for the attack trees (Q473215) (← links)
- Hamiltonian cycles in hypercubes with faulty edges (Q497955) (← links)
- The marriage between safety and cybersecurity: still practicing (Q832009) (← links)
- A review of attack graph and attack tree visual syntax in cyber security (Q2197794) (← links)
- Cold vs. hot standby mission operation cost minimization for 1-out-of-\(N\) systems (Q2256183) (← links)
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools (Q2352775) (← links)
- Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- How to capture dynamic behaviours of dependable systems (Q3625236) (← links)