Olivier-Henri Roux
Mots clés
FR |
EN
Temps réel (informatique)
Petri, Réseaux de
Vérification de modèles (informatique)
Vérification formelle
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Automates temporisés
Systèmes complexes
Modèle formel
Véhicules autonomes
Automates
Méthodes formelles
Ingénierie dirigée par les modèles
Analyse des systèmes
Commande automatique
Model-checking
Automobiles -- Systèmes de guidage
Systèmes informatiques
Logiciels -- Vérification
Ordonnancement (informatique)