Le moteur de recherche
des thèses françaises
Frédéric Herbreteau
IdRefMots clés
FR |
EN
Automates temporisés
Systèmes informatiques
Vérification de modèles (informatique)
Algorithmes
Méthodes formelles (informatique)
Abstractions
Modèles mathématiques
Automates
Temps réel (informatique)
Vérification
Algorithme de dépliage
Ordre partiel
Préordre
Produit synchronisé
Structure d'événements
Préfixe fini
Système infini
Bornitude
Terminaison
Quasi-vivacité