Le moteur de recherche
des thèses françaises
Thierry Jéron
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Test de conformité
Automates temporisés
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Temps réel (informatique)
Opacité
Vérification
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