BlockSim

swMATH12546MaRDI QIDQ24473FDOQ24473

Author name not available (Why is that?)

Official website: http://www.reliasoft.com/BlockSim/index.html

Cited In (17)

• TBUDDY
• A framework for formal dynamic dependability analysis using HOL theorem proving
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Galileo
• FuzzyFTA
• DIFtree
• DFTSim
• DBNet
• FaultTree+
• MetaPrime
• MOCUS
• OpenFTA
• PTC Windchill FTA
• PREP/KITT
• Radyban
• Meddly
• DRBD

This page was built for software: BlockSim