Jean-François Raskin
IdRefMots clés
FR |
EN
Vérification
Automates programmables
Logiciels -- Vérification
Vérification quantitative
Théorie des automates mathématiques
Synthèse
Automates d'arbres
Contraintes
Approximations
Model checking
Contraintes (intelligence artificielle)
Systèmes concurrents
Technique d'abstraction
Logiques multi-valuées
Types de données
Types abstraits de données (informatique)
Systèmes informatiques
Robustesse
Systèmes temps-réel
Automates temporisés