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