BlockSim
From MaRDI portal
Software:24473
Author name not available (Why is that?)
Related Items (2)
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
This page was built for software: BlockSim
