Mémoires de Fin d’Etudes
Etablissement
Université de Tizi Ouzou - Mouloud Mammeri
Affiliation
Département d’Informatique
Auteur
CHEBIEB, Abdelkrim
Directeur de thèse
AIT AMEUR Yacine (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Expression et vérification de propriétés externes d’IHM à partir d’une analyse de tâches utilisateur
Statut
Vérifié