LESTER Anthony
Научны(е)й руководител(и)ь : Pirouz BAZARGAN SABET
Abstraction Fonctionnelle des Circuits Numériques VLSI avec une méthode formelle basée sur une extraction de réseau de portes
Защита диссертаций : 21.12.1999
Члены жюри :
Alain Guyot - rapporteur
Christian Piguet - rapporteur
Alain Greiner
Michel Minoux
Pirouz Bazargan-Sabet
Sanjay Rajopadhye