Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Martin
Zimmermann
IdRef
Mots 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)
Liste des thèses par rôle
Examinateur / Examinatrice pour 1 thèse(s)