Items where Author is "Abbasi, Naeem"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
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
