swMATH316MaRDI QIDQ13077FDOQ13077
Author name not available (Why is that?)
Official website: http://www.cs.virginia.edu/~ftree/
Cited In (18)
- TBUDDY
- Selecting optimal alternatives and risk reduction strategies in decision trees
- Theory and Applications of Satisfiability Testing
- The d-OR gate problem in dynamic fault trees and its solution in Markov analysis
- An efficient calculation algorithm in continuous-time Markov analysis using large-scale numerical calculation
- Symbolic Fault Tree Analysis for Reactive Systems
- Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates
- Pandora
- BuDDy
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits
- BlockSim
- DIFtree
- MetaPrime
- Radyban
- Meddly
- Jani
- Fault trees on a diet: automated reduction by graph rewriting
- Bayesian reliability models of Weibull systems: state of the art
This page was built for software: Galileo
