Juan Pablo Gruer
IdRefMots clés
FR |
EN
Convoi de véhicules
Systèmes réactifs
Modélisation formelle
Circulation, Technique de la
Véhicule autonome
Multi-agents
Prise de décision
Véhicules autonomes
Automatique théorique
Systèmes
Langage commande
Langage programmation
Programmation structurée
Sémantique formelle
Langage naturel
Synchronisation
événement aléatoire
Process control
Real time system
Petri net