Laurent Ciarletta
IdRefMots clés
FR |
EN
Objets coopérants (informatique)
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Multi-modélisation
Co-simulation
DEVS
Simulation, Méthodes de
Ingénierie dirigée par les modèles
Systèmes cyber-physiques
Programmation de mission
Langages dédiés
Preuve de théorème
Langages de programmation
Assistants de preuve
Positionnement mutuel
Cartographie
Exploration autonome
Données géospatiales
Robots mobiles
Cartographie -- Informatique