Galileo
From MaRDI portal
Software:13077
No author found.
Related Items (9)
Fault trees on a diet: automated reduction by graph rewriting ⋮ Theory and Applications of Satisfiability Testing ⋮ Bayesian reliability models of Weibull systems: State of the art ⋮ Symbolic Fault Tree Analysis for Reactive Systems ⋮ The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits ⋮ Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Selecting Optimal Alternatives and Risk Reduction Strategies in Decision Trees
This page was built for software: Galileo
