| |
| 2004 | ||
|---|---|---|
| 2 | EE | Ammar Aljer, Philippe Devienne: Co-Design and Refinement for Safety Critical Systems. DFT 2004: 78-86 |
| 2003 | ||
| 1 | EE | Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano: BHDL: Circuit Design in B. ACSD 2003: 241-242 |
| 1 | Jean-Louis Boulanger | [1] |
| 2 | Philippe Devienne | [1] [2] |
| 3 | Georges Mariano | [1] |
| 4 | Sophie Tison | [1] |