Le moteur de recherche
des thèses françaises
Laure Petrucci
IdRefMots clés
FR |
EN
Petri, Réseaux de
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Automates temporisés
Logique temporelle
Logiciels -- Vérification
Systèmes informatiques
Vérification
Temps réel (informatique)
Réseaux de Petri
Vérification formelle
Protocoles de réseaux d'ordinateurs
Routage (informatique)
Vérification de modèles
Réduction
Model-Checking
Réduction d’ordre partiel
Explosion de l'espace d'état
Abstractions
Sémantique temporelle locale