A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.

Yassmeen Elderhalli, Osman Hasan, Sofine Tahar

Browse the full ICFEM paper archive.