Thierry Jéron
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Test de conformité
Méthodes formelles (informatique)
Temps réel (informatique)
Vérification de modèles (informatique)
Vérification formelle
Systèmes distribués
Automate Programmable Industriel
Automates programmables
GRAFCET
Vérification de modèles
Théorie des automates mathématiques
Diagnostic
Systèmes informatiques
Automates
Réduction de commande partielle
Programmes distribués asynchrones
Programmation parallèle (informatique)
Automates temporisés
Méthodes formelles