Imen Jemili
IdRefMots clés
FR |
EN
Réseaux ad hoc
Clusterisation
Routage
Conservation d’énergie
Ensemble dominant connexe
Réseaux ad hoc (informatique)
Algorithmes Distribués
Calculs Locaux
Détection de Terminaison,
Énumération
Snapshots
Composition
Raffinement
Méthodes Formelles
Event-B
Algorithmes parallèles
Méthodes formelles (informatique)
Internet des Vehicules
Protocoles de Routage
Service d'Information de Localisation