Didier Lime
Mots clés
FR |
EN
Automates temporisés
Temps réel (informatique)
Vérification de modèles (informatique)
Petri, Réseaux de
Théorie des jeux
Model-checking
Contrôle
Décidabilité (logique mathématique)
Méthodes formelles
Chaine de Markov
Ordonnançabilité
Méthodes Formelles
Mathématiques Probabilistes
Systèmes Embarqués
Systèmes temps-Réels
Markov, Processus de
Systèmes embarqués (informatique)
Automate
Graphes paramétrés
Plus court chemin