Items where Author is "Mhamdi, Tarek"
|Up a level|
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.