The following publications are possibly variants of this publication:
- Formal Reliability Analysis Using Theorem ProvingOsman Hasan, Sofiène Tahar, Naeem Abbasi. TC, 59(5):579-592, 2010. [doi]
- Probabilistic Analysis of Wireless Systems Using Theorem ProvingOsman Hasan, Sofiène Tahar. ENTCS, 242(2):43-58, 2009. [doi]
- Formal reliability analysis of combinational circuits using theorem provingOsman Hasan, Jigar Patel, Sofiène Tahar. japll, 9(1):41-60, 2011. [doi]
- Formal Reliability Analysis of an Integrated Power Generation System Using Theorem ProvingWaqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan. sj, 14(4):4820-4831, 2020. [doi]
- Formal Analysis of Linear Control Systems Using Theorem ProvingAdnan Rashid, Osman Hasan. icfem 2017: 345-361 [doi]
- Formal analysis of the continuous dynamics of cyber-physical systems using theorem provingAdnan Rashid, Osman Hasan. jsa, 112:101850, 2021. [doi]