dblp.uni-trier.dewww.uni-trier.de

Emil Dumitrescu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEEmil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel: A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008: 1433-1440
2003
2EEDominique 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
1EEEmil Dumitrescu, Dominique Borrione: Symbolic Simulation as a Simplifying Strategy for SoC Verification. IWSOC 2003: 378-383

Coauthor Index

1Dominique Borrione [1] [2]
2Menouer Boubekeur [2]
3Éric Niel [3]
4Laurent Piétrac [3]
5Mingming Ren [3]
6Marc Renaudin [2]
7Jean-Baptiste Rigaud [2]
8Antoine Sirianni [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)