Category: verification
- Ecole Nationale Supérieure d'informatique - Département de Post-Graduation - BENNAMA Miloud - Modélisation formelle basée sur les diagrammes globaux d’interaction d’UML2
Etablissement Ecole Nationale Supérieure d'informatique Affiliation Département de Post-Graduation A
View Details- HAMROUCHE Houda - Une Approche de transformation des diagrammes D’activité d’UML vers CSP basée sur la transformation de graphes.
Auteur HAMROUCHE, Houda Directeur de thèse Kholladi Mohamed Khireddine (Maitre de conférence) Filièr
View DetailsEtablissement Université de Sidi Bel Abbès - Djillali Liabes Affiliation Département Génie Civil Auteur Amor, Mustapha Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Sidi Bel Abbès - Djillali Liabes Affiliation
View DetailsEtablissement Université de Souk Ahras - Mohamed Chérif Mesaadia Affiliation Département de Langue Arabe Auteur BOUGOFFA, Elaarfa Directeur
Mémoires de Fin d’Etudes Etablissement Université de Souk Ahras - Mohamed Chérif Mesaadia Affiliat
View DetailsEtablissement Université de Ouargla - Kasdi Merbah Affiliation Département de L’informatique et technologie de l’information Auteur Ahmed
Mémoires de Fin d’Etudes Etablissement Université de Ouargla - Kasdi Merbah Affiliation Départemen
View DetailsEtablissement Université de Béjaia - Abderrahmane Mira Affiliation Département d’Informatique Auteur L’hadi, Bouzidi Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Béjaia - Abderrahmane Mira Affiliation Départ
View DetailsEtablissement Université 8 mai 1945 de Guelma Affiliation Département d’Informatique Auteur MESSOLHI, Naima Directeur de thèse : Pr. H.
Mémoires de Fin d’Etudes Etablissement Université 8 mai 1945 de Guelma Affiliation Département d’In
View DetailsEtablissement Université de Annaba - Badji Mokhtar Affiliation Département d’Informatique Auteur FERROUM, Assia Directeur de thèse Rachid
Mémoires de Fin d’Etudes Etablissement Université de Annaba - Badji Mokhtar Affiliation Départemen
View DetailsEtablissement Université de Sétif 1 - Ferhat Abbas Affiliation Département d’Electronique Auteur AZIZA, Yassamine Directeur de thèse FERHAT
Mémoires de Fin d’Etudes Etablissement Université de Sétif 1 - Ferhat Abbas Affiliation Département
View Details- Ecole Nationale Supérieure d'informatique - Département de Post-Graduation - SAADI Souad - Approche par composant pour la conception d’un système d’information territorial « Application pour l’évaluation des risques environnementaux du transport urbain »
Etablissement Ecole Nationale Supérieure d'informatique Affiliation Département de Post-Graduation A
View DetailsEtablissement Université de Biskra - Mohamed Khider Affiliation Département de Génie Mécanique Auteur FEDIAS, Meriem Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Biskra - Mohamed Khider Affiliation Départeme
View Details- Ecole Nationale Supérieure d'informatique - Département de Post-Graduation - CHEBEIB Abdelkrim - Conception et vérification formelle des IHM plastiques
Etablissement Ecole Nationale Supérieure d'informatique Affiliation Département de Post-Graduation A
View Details