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.