The following pages link to Galileo (Q13077):
Displaying 9 items.
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates (Q1003523) (← links)
- Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
- The d-OR gate problem in dynamic fault trees and its solution in Markov analysis (Q2905994) (← links)
- An efficient calculation algorithm in continuous-time Markov analysis using large-scale numerical calculation (Q2909875) (← links)
- Bayesian reliability models of Weibull systems: State of the art (Q2934499) (← links)
- Selecting Optimal Alternatives and Risk Reduction Strategies in Decision Trees (Q3109867) (← links)
- Symbolic Fault Tree Analysis for Reactive Systems (Q3510794) (← links)
- Theory and Applications of Satisfiability Testing (Q5325867) (← links)
