Pages that link to "Item:Q2352775"

The following pages link to Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools (Q2352775):

Displaying 25 items.

• The marriage between safety and cybersecurity: still practicing (Q832009) (← links)
• Attack trees vs. fault trees: two sides of the same coin from different currencies (Q832098) (← links)
• Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates (Q1003523) (← links)
• Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions (Q2119976) (← links)
• Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
• Sensitivity investigation of fault tree analysis with matrix-algebraic method (Q2895107) (← links)
• Quality and Reliability in Top-event Estimation: Quantitative Fault Tree Analysis in Case of Dependent Events (Q3167852) (← links)
• (Q3326576) (← links)
• A Truncation Methodology for Evaluating Large Fault Trees (Q3346068) (← links)
• (Q3358029) (← links)
• Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
• Symbolic Fault Tree Analysis for Reactive Systems (Q3510794) (← links)
• (Q3703303) (← links)
• (Q4520794) (← links)
• Epistemic space of degradation processes (Q5000134) (← links)
• Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
• From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems (Q5089107) (← links)
• Formal Fault Tree Analysis - Practical Experiences (Q5178999) (← links)
• Adaptive Importance Sampling Based on Fault Tree Analysis for Piecewise Deterministic Markov Process (Q6131422) (← links)
• Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)
• Efficient analysis of cyclic redundancy architectures via Boolean fault propagation (Q6535620) (← links)
• Fault trees from data: efficient learning with an evolutionary algorithm (Q6535910) (← links)
• Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
• Dynamic dependability analysis of shuffle-exchange networks (Q6564180) (← links)
• Risk response budget allocation based on fault tree analysis and optimization (Q6581384) (← links)