Marius Bozga
Mots clés
FR |
EN
Simulation
Composants
Validation
Systèmes distribués
Vérification
Reconfiguration
Modelisation
Systèmes synchrones
Système distribué
Modélisation
Automates temporisés
Verification
Temps réel
Temps réel (informatique)
Vérification formelle
Systèmes adaptatifs (technologie)
Correct-par-construction
BIP
Priorités
Ingénierie système à base de modèles (MBSE)