ASENT

MaRDI QIDQ37013swMATHFDO

Official website https://www.raytheoneagle.com/asent/rbd.htm

Cited in

(3)

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

This page was built for software: ASENT