Breadcrumb

 
 

Items where Author is "Mhamdi, Tarek"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 3.

Mhamdi, Tarek and Hasan, Osman and Tahar, Sofiène (2013) Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Transactions on Embedded Computing Systems, 12 (1). pp. 1-23. ISSN 15399087

Mhamdi, Tarek (2012) Information-Theoretic Analysis using Theorem Proving. PhD thesis, Concordia University.

Mhamdi, Tarek (2003) On the embedding of multiway decision graphs in HOL. Masters thesis, Concordia University.

This list was generated on Sun Jul 27 14:47:35 2014 EDT.

Concordia University - Footer