Items where Author is "Mizouni, Rabeb"

Article

Mizouni, Rabeb, Tahar, Sofiène and Curzon, Paul (2006) Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectronics Journal, 37 (11). pp. 1200-1207. ISSN 00262692

Thesis

Mizouni, Rabeb (2008) Formal composition of partial system behaviors. PhD thesis, Concordia University.

Mizouni, Rabeb (2003) A hybrid tool for linking HOL theorem proving with MDG model checking. Masters thesis, Concordia University.