Category: verif
- Boukala Mohamed Cherif - Vérification distribuée des systèmes complexes.
Auteur Boukala, Mohamed Cherif Directeur de thèse Mokhtari, A. (Professeur) Filière Informatique Dip
View DetailsEcole Nationale Supérieure d’informatique - Département de Post-Graduation - KOUDIL Mouloud - Vérification intéractive de circuits par l’analyse incrémentale
Mémoires de Fin d’Etudes Etablissement Ecole Nationale Supérieure d’informatique Affiliation Départ
View DetailsEtablissement 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 Details- ALLOUDA Ghalia - Racine K éme d'une suite vérifiant une récurrence linéaire
Auteur ALLOUDA, Ghalia Directeur de thèse BENZAGHOU Benali (Docteur) Filière Chimie Diplôme Magister
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