swMATH12541MaRDI QIDQ24468FDOQ24468
Author name not available (Why is that?)
Official website: http://www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/diftree.pdf
Cited In (16)
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
- Galileo
- FuzzyFTA
- DFTSim
- DFTCalc
- DBNet
- FaultTree+
- MetaPrime
- MOCUS
- OpenFTA
- PTC Windchill FTA
- PREP/KITT
- Radyban
- Fault trees on a diet: automated reduction by graph rewriting
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- Title not available (Why is that?)
This page was built for software: DIFtree
