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] |