Le moteur de recherche
des thèses françaises
Thomas Chatain
IdRefMots clés
FR |
EN
Réseaux de Petri
Temps réel (informatique)
Automates temporisés
Vérification de modèles (informatique)
Validation formelle
Vérification formelle
Analyse formelle
Génération d'Espace d'États
Systèmes embarqués (informatique)
Vérification
Réduction d’ordre partiel
Explosion de l'espace d'état
Abstractions
Sémantique temporelle locale
Systèmes informatiques
Systèmes temps-réel distribués
Ordres partiels
Réseaux d'automates temporisés
Réseaux de Petri temporels
Systèmes de transitions temporisés