Mémoires de Fin d’Etudes
Etablissement
Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d’Oran
Affiliation
Département d’Informatique
Auteur
MAMI, Mohamed Amine
Directeur de thèse
KHELFI Fayçal (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Intégration des techniques formelles dans les méthodes semi-formelles
Statut
Vérifié