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