François Gellot
IdRefMots clés
FR |
EN
Automate programmable industriel
Commande
Sécurité
Vérification formelle
Validation
Simulation
Automates programmables
Vérification de modèles (informatique)
Logiciels -- Vérification
Machines -- Dispositifs de sécurité
Développement dirigé par les modèles
Iec 61499
Conception à base de composants
Système cyber-Physique de production
Système de commande distribué
Jumeau numérique
Jumeaux numériques
Industrie 4.0