Le moteur de recherche
des thèses françaises
Paola Flocchini
IdRefMots clés
FR |
EN
Robots mobiles
Réseaux ad hoc de véhicules
Théorie des graphes temporels
Algorithmique
Planification de mouvement
Graphes dynamiques
Spanneurs
Algorithmes
Verification
Model-Checking
Synthèse d'algorithmes
Algorithme distribué
Méthodes formelles
Méthodes formelles (informatique)
Réseau véhiculaire Ad-Hoc (VANETs)
Systèmes de Transport Intelligent – Coopératifs (STI-C)
Cloud
Icn
Villes intelligentes
iCloud (informatique)