Breadcrumb

 
 

Items where Author is "Abbasi, Naeem"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
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

This list was generated on Fri Oct 24 14:50:18 2014 EDT.

Concordia University - Footer