Items where Author is "Mizouni, Rabeb"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 3.
Mizouni, Rabeb (2008) Formal composition of partial system behaviors. PhD thesis, Concordia University.
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
Mizouni, Rabeb (2003) A hybrid tool for linking HOL theorem proving with MDG model checking. Masters thesis, Concordia University.
