- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| j2 |      | Younes Lahbib, Meriam Kallel, Ayoub Dhouib, Maher Hechkel, Antoine Perrin, Rached Tourki: System on Chips optimization using ABV and automatic generation of SystemC codes. Microprocessors and Microsystems 31(7): 433-444 (2007) |
| 2005 | ||
| j1 | | Ridha Djemal, Ayoub Dhouib, Samuel Dellacherie, Rached Tourki: A novel formal verification approach for RTL hardware IP cores. Computer Standards & Interfaces 27(6): 637-651 (2005) |
| 1 | Samuel Dellacherie | |
| 2 | Ridha Djemal | |
| 3 | Maher Hechkel | |
| 4 | Meriam Kallel | |
| 5 | Younes Lahbib | |
| 6 | Antoine Perrin | |
| 7 | Rached Tourki |
Data released under the ODC-BY 1.0 license — See also our legal information page