Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving
- Waqar Ahmad
- , Osman Hasan
- , Falah Awwad
- , Nabil Bastaki
- , Syed Rafay Hasan
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Citations
(Scopus)