Mémoires de Fin d’Etudes
Etablissement
Ecole Nationale Supérieure d’informatique
Affiliation
Département de Post-Graduation
Auteur
KOUDIL, Mouloud
Directeur de thèse
(Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Vérification intéractive de circuits par l’analyse incrémentale
Statut
Soutenue