Category: verification
Poste d’enseignants-chercheurs publié - UNIVERSITE D’ORLEANS
UNIVERSITE D’ORLEANS Année de référence : 2020 Profil : Licence et Master en Informatique, et
View DetailsPoste d’enseignants-chercheurs publié - UNIVERSITE AIX-MARSEILLE
UNIVERSITE AIX-MARSEILLE Année de référence : 2020 Profil : Informatique, profil recherche pri
View DetailsPoste d’enseignants-chercheurs publié - UNIVERSITE CLERMONT AUVERGNE
UNIVERSITE CLERMONT AUVERGNE Année de référence : 2021 Profil : Ens : Recherche Op, Modélisati
View Details- OUROUA - Modélisation et vérification formelle des propriétés de la sécurité informatique.
Auteur OUROUA, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Modéli
View Details- RAHIM - Vérification distribuée
Auteur RAHIM, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Vérific
View Details- BERRACHEDI - Modélisation et vérification des propriétés des réseaux de capteurs.
Auteur BERRACHEDI, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Mo
View Details- OUAZAR - Vérification des systèmes temps réel modulaires
Auteur OUAZAR, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Vérifi
View Details- ALEB - Exécution Symbolique Arriére pour la Vérification le Test et la Génération Automatique de Programmes.
Auteur ALEB, Directeur de thèse DRIAS Habiba Filière Informatique Diplôme Doctorat Titre Exécution
View Details- KEROUAT - Contribution à la vérification automatique du locuteur embarqué dans un téléphone portable.
Auteur KEROUAT, Directeur de thèse BOUDRAA Malika Filière Electronique Diplôme Doctorat Titre Contr
View DetailsEtablissement Université de M’Sila - Mohamed Boudiaf Affiliation Département Electronique Auteur CHABANE, Youssouf Directeur de thèse Bouttout
Mémoires de Fin d’Etudes Etablissement Université de M’Sila - Mohamed Boudiaf Affiliation Départem
View Details- Ecole Polytechnique d'Architecture et d'Urbanisme-Hocine Aït Ahmed - Bibliothèque - MECHRI Lynda - La maitrise foncière pour la durabilité du foncier agricole cas de la commune d’el kseur (wilaya de Bejaia)
Etablissement Ecole Polytechnique d'Architecture et d'Urbanisme-Hocine Aït Ahmed Affiliation Biblio
View Details- Ecole Supérieure de Commerce-Mouloud Kacem Naït Belkacem - Département de Post-Graduation - Kaci Amel - Le management des risques bancaires en Algérie : Etude d’un échantillon de banques (Société Générale Algérie (SGA) Banque d'Agriculture et du Développement Rural (BADR) …)
Etablissement Ecole Supérieure de Commerce-Mouloud Kacem Naït Belkacem Affiliation Département de Po
View Details