| |
| 2004 | ||
|---|---|---|
| 2 | EE | Dominique Cansell, J.-F. Culat, Dominique Méry, C. Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624 |
| 2003 | ||
| 1 | EE | Dominique Cansell, Dominique Méry, C. Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447 |
| 1 | Dominique Cansell | [1] [2] |
| 2 | J.-F. Culat | [2] |
| 3 | Dominique Méry | [1] [2] |