![]() |
| 2008 | ||
|---|---|---|
| 3 | EE | Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel: A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008: 1433-1440 |
| 2003 | ||
| 2 | EE | Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Sirianni: An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. HICSS 2003: 279 |
| 1 | EE | Emil Dumitrescu, Dominique Borrione: Symbolic Simulation as a Simplifying Strategy for SoC Verification. IWSOC 2003: 378-383 |
| 1 | Dominique Borrione | [1] [2] |
| 2 | Menouer Boubekeur | [2] |
| 3 | Éric Niel | [3] |
| 4 | Laurent Piétrac | [3] |
| 5 | Mingming Ren | [3] |
| 6 | Marc Renaudin | [2] |
| 7 | Jean-Baptiste Rigaud | [2] |
| 8 | Antoine Sirianni | [2] |