Category: boukala
- 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- YATAGHENE - Utilisation des modèles formels dans un environnement de cloud computing .
Auteur YATAGHENE, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Ut
View Details- ZEGUINE - Evaluation des performances des reconfigurations dynamiques des systèmes à composants.
Auteur ZEGUINE, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Evalu
View Details- MANSOURI - Formalisation du comportement et du fonctionnement des réseaux de capteurs par les réseaux de Petri.
Auteur MANSOURI, Directeur de thèse BOUKALA Malika Co-directeur AIT BEN AMAR Houria Filière Informa
View Details- TAIBI - Evaluation des performances des systèmes
Auteur TAIBI, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Evaluat
View DetailsEtablissement Université de Djelfa - Ziane Achour Affiliation Département des Sciences Technologiques Auteur KHELDOUN, Directeur de thèse
Mémoires de Fin d’Etudes Etablissement Université de Djelfa - Ziane Achour Affiliation Département
View Details- BOUZEGZA - Modélisation de vériication de politique de sécurité à l'aide de modules formel
Auteur BOUZEGZA, Directeur de thèse BOUKALA Malika Co-directeur CHEKAI Fatima Filière Informatique
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- 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 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