ReliaSoft

swMATH25270MaRDI QIDQ37012FDOQ37012

Author name not available (Why is that?)

Cited In (2)

• Towards Formal Fault Tree Analysis Using Theorem Proving
• Formalization of fault trees in higher-order logic: a deep embedding approach

This page was built for software: ReliaSoft