Frédéric Herbreteau
IdRefMots clés
FR |
EN
Automates temporisés
Systèmes informatiques
Algorithmes
Abstractions
Temps réel (informatique)
Automates
Vérification de modèles (informatique)
Modèles mathématiques
Algorithme de dépliage
Ordre partiel
Préordre
Produit synchronisé
Structure d'événements
Préfixe fini
Système infini
Bornitude
Terminaison
Quasi-vivacité
Systèmes temps-réel
Systèmes concurrents