Exploration implicite et explicite de l'espace d'états atteignables de circuits logiques Estérel

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR |

EN

Auteur / Autrice :	Yannis Bres
Direction :	Gérard Berry
Type :	Thèse de doctorat
Discipline(s) :	Informatique
Date :	Soutenance en 2002
Etablissement(s) :	Nice
Ecole(s) doctorale(s) :	École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

FR