INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE
N° attribué par la bibliothèque
THESE
pour obtenir le grade de
DOCTEUR DE L’INPG
Spécialité : Microélectronique
préparée au laboratoire TIMA dans le cadre de l’Ecole Doctorale
« Electronique, Electrotechnique, Automatique, Télécommunications, Signal »
présentée et soutenue publiquement
par
Eugenia Gabriela NUTA NICOLESCU
le 27 novembre 2002
Titre :
Spécification et validation des systèmes hétérogènes
embarqués
Directeur de thèse
Ahmed Amine Jerraya
Jury :
M. Bernard Courtois, Président
M. Guy Bois, Rapporteur
M. Jean-Paul Calvez, Rapporteur
M. Ahmed Amine Jerraya, Directeur de thèse
M. Songjoo Yoo, Examinateur