| 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é |
|