Category: verification
Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département d’Informatique Auteur EL HABIB DAHO, Hocine Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département
View Details- BOUKALA Mohand-cherif - Verification d'équivalence temporelle dans les modèles du vrai parallelisme.
Auteur BOUKALA, Mohand-cherif Directeur de thèse MOKHTARI Aicha. (Maitre de conférence) Co-directeur
View Details- MAHDAOUI Latifa - Intégration des méthodes statiques et dynamique pour la vérification de logiciels.
Auteur MAHDAOUI, Latifa Directeur de thèse ALI MAZIGHI Zaia (Maitre de conférence) Co-directeur (Doc
View DetailsEtablissement Université de Batna 2 - Mustafa Ben Boulaid Affiliation Département de Mathématique Auteur BOUMASSATA, Meriem Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Batna 2 - Mustafa Ben Boulaid Affiliation Dépa
View DetailsEtablissement Université de M’Sila - Mohamed Boudiaf Affiliation Département Electronique Auteur NASRI, Mustapha Directeur de thèse SAIGAA
Mémoires de Fin d’Etudes Etablissement Université de M’Sila - Mohamed Boudiaf Affiliation Départem
View Details- AIDOUD Salima - Référentiation-évaluation-vérification sociologie et dorcimologie de la recherche en post-graduation (1970-2000) : étude de la référenciation
Auteur AIDOUD, Salima Directeur de thèse Maougal Mohamed Lakhdar (Docteur) Filière Linguistique Fran
View DetailsEtablissement Université de Béjaia - Abderrahmane Mira Affiliation Département d’Informatique Auteur KHAMADJA, Salim Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Béjaia - Abderrahmane Mira Affiliation Départ
View DetailsEtablissement Université de Biskra - Mohamed Khider Affiliation Département d’Informatique Auteur MELIOUH, Amel Directeur de thèse Chaoui
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 - BAKHOUCHE Abderaouf - Vérification de critères de validité fonctionnelle des assemblages dans les applications a base de composants (approche basée Agents mobiles)
Etablissement Ecole Nationale Supérieure d'informatique Affiliation Département de Post-Graduation A
View Details- Ecole Nationale Supérieure d'informatique - Département de Post-Graduation - BAKHOUCHE Abderaouf - Vérification de critères de validité fonctionnelle des assemblages dans les applications a base de composants (approche basée Agents mobiles)
Etablissement Ecole Nationale Supérieure d'informatique Affiliation Département de Post-Graduation A
View Details- Ecole Nationale Polytechnique - Département d'Electronique - DJEMAI Mohamed - Vérification automatique du locuteur arabophone par les algorithmes génétiques
Etablissement Ecole Nationale Polytechnique Affiliation Département d'Electronique Auteur DJEMAI, Mo
View Details- ALEB Nassima - Exécution symbolique arrière pour la vérification le test et la génération automatique de programmes
Auteur ALEB, Nassima Directeur de thèse Nadjet, Kamel (Maitre de conférence) Filière Informatique Di
View Details