Mémoires de Fin d’Etudes
Etablissement
Université de Batna 2 - Mustafa Ben Boulaid
Affiliation
Département de l’Informatique
Auteur
HOCINE, Riadh
Directeur de thèse
BENMOHAMMED Mohammed (Docteur)
Co-directeur
(Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Validation par reseaux de petri de specification de controleurs dediés décrites dans un environnement de synthèse de haut niveau
Statut
Vérifié