Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving

Waqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan. Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. IEEE Systems Journal, 14(4):4820-4831, 2020. [doi]

No reviews for this publication, yet.