DIFtree

MaRDI QIDQ24468swMATHFDO

Official website http://www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/diftree.pdf

Cited in

(16)

• Galileo
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Fault trees on a diet: automated reduction by graph rewriting
• FuzzyFTA
• MetaPrime
• Radyban
• DFTSim
• DFTCalc
• OpenFTA
• PTC Windchill FTA
• FaultTree+
• DBNet
• MOCUS
• PREP/KITT
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• scientific article; zbMATH DE number 1975117 (Why is no real title available?)

This page was built for software: DIFtree