Le moteur de recherche
des thèses françaises
Thomas Chatain
IdRefMots clés
FR |
EN
Temps réel (informatique)
Petri, Réseaux de
Automates temporisés
Vérification de modèles (informatique)
Validation formelle
Vérification formelle
Analyse formelle
Réseaux de Petri
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