BlockSim

swMATH12546MaRDI QIDQ24473FDOQ24473

Author name not available (Why is that?)

Cited In (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