ReliaSoft
From MaRDI portal
Software:37012
No author found.
Related Items (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