Le moteur de recherche
des thèses françaises
Frédéric Herbreteau
IdRefMots clés
FR |
EN
Automates temporisés
Systèmes informatiques
Algorithmes
Vérification de modèles (informatique)
Abstractions
Modèles mathématiques
Automates
Temps réel (informatique)
Vérification
Méthodes formelles (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é