Didier Lime
IdRefMots clés
FR |
EN
Automates temporisés
Temps réel (informatique)
Vérification de modèles (informatique)
Model-checking
Théorie des jeux
Petri, Réseaux de
Contrôle
Méthodes formelles
Automate
Graphes paramétrés
Plus court chemin
Jeux sur les graphes
Objectifs de parité
Contraintes sur l’énergie
Théorie des graphes
Arbres (théorie des graphes) -- Informatique
Décidabilité (logique mathématique)
Chaine de Markov
Ordonnançabilité
Méthodes Formelles