Category: verification-2
Ecole 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 DetailsEtablissement Université de Sétif 2 - Mohamed Lamine Debaghine Affiliation Département de Droit Auteur KHELALFA, Noudjoud Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Sétif 2 - Mohamed Lamine Debaghine Affiliatio
View DetailsEtablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département d’Informatique Auteur ELHABIB DAHO, Hocin 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é d’Oran1 - Ahmed Ben Bella Affiliation Département d’Informatique Auteur KLOUCHE-DJEDID, Afaf Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département
View DetailsEtablissement Université de Batna 2 - Mustafa Ben Boulaid Affiliation Département de Génie Mécanique Auteur Bendouga, Fayssal Directeur de
Mémoires de Fin d’Etudes Etablissement Université de Batna 2 - Mustafa Ben Boulaid Affiliation Dépa
View DetailsEtablissement Université de Mostaganem - Abdelhamid Ibn Badis Affiliation Département de Chimie Auteur MANSOURI, Fatma Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Mostaganem - Abdelhamid Ibn Badis Affiliation
View DetailsEtablissement Université de Sidi Bel Abbès - Djillali Liabes Affiliation Département d’Electronique Auteur MEKAMI, Hayet Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Sidi Bel Abbès - Djillali Liabes Affiliation
View DetailsEtablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département d’Informatique Auteur DAHANE, Miloud Directeur de thèse ABDI
Mémoires de Fin d’Etudes Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département
View DetailsEtablissement Université de Biskra - Mohamed Khider Affiliation Département d’Architecture Auteur ZEGHICHI, Salim Directeur de thèse Mazouz,
Mémoires de Fin d’Etudes Etablissement Université de Biskra - Mohamed Khider Affiliation Départeme
View Details