Login | Register

Items where Author is "Mhamdi, Tarek"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 Tue Dec 1 03:20:26 2015 EST.
Back to top Back to top