Items where Author is "Abbasi, Naeem"
|Up a level|
Abbasi, Naeem (2012) Formal Reliability Analysis using Higher-order Logic Theorem Proving. PhD thesis, Concordia University.
Hasan, Osman and Tahar, Sofiène and Abbasi, Naeem (2010) Formal Reliability Analysis Using Theorem Proving. IEEE Transactions on Computers, 59 (5). pp. 579-592. ISSN 0018-9340