| |
| 2008 | ||
|---|---|---|
| 2 | EE | Salah Merniz, Mohamed Benmohammed: A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach. ITNG 2008: 241-246 |
| 2007 | ||
| 1 | EE | Salah Merniz, Mohamed Benmohammed: A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach. AICCSA 2007: 492-499 |
| 1 | Mohamed Benmohammed | [1] [2] |