Navigation de collection par Auteur(e) KHELDOUN, Ahmed
Montrant les résultats 1 à 5 de 5
| Aperçu | Date de publication | Titre | Auteur(s) |
| 2022 | Approche Automatique Pour La Classification Du Trafic Réseau | Mestoui, Ammar; Sakhri, karim; KHELDOUN, Ahmed |
| 2016 | Méthode Formelle pour la Modélisation et la Vérification des Processus Métiers Cas d'étude : Le langage BPMN (Business Process Model and Notation) | BABCHIKH, Mohamed; BENILLES, Ihsene; KHELDOUN, Ahmed |
| 2014 | Modélisation et analyse des systèmes multi agents Cas d'étude: Protocoles de communication | OULD ETHMANE, Abdellahi; OULD MOHAMED MAHMOUD, Brahim Salem; KHELDOUN, Ahmed |
| 2022 | Proposition d’une approche automatique pour la classification du trafic WebRTC | BATTOU, Karim; BESSERI, Riadh; KHELDOUN, Ahmed |
| 2017 | Vérification formelle des Diagrammes d'Activité SySML | LAMRI, Abir; TOUBAL SEGHIR, Wafia Hassina; KHELDOUN, Ahmed |
