Le moteur de recherche
des thèses françaises
Martin Zimmermann
IdRefMots clés
FR |
EN
Model checking
Systèmes distribués
Vérification paramétrée
Réseaux ad hoc
Jeux sur graphes
Synthèse de stratégies
Réseaux ad hoc (informatique)
Traitement réparti
Vérification de modèles (informatique)
Raisonnement stratégique
Logique pour dépendance
Logique temporelle
Théorie des jeux
Informatique
Complexité de calcul (informatique)