Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Paulin Fournier

est l'auteur d'une thèse

Complexité Logiciels -- Vérification Probabilité Protocoles de diffusion Vérification de modèles Vérification paramétrée

Fullscreen

Complexité Logiciels -- Vérification Probabilité Protocoles de diffusion Vérification de modèles Vérification paramétrée

Paulin Fournier a rédigé la thèse suivante :

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques

par Paulin Fournier sous la direction de Thierry Jéron et de Nathalie Bertrand . - Rennes 1

Informatique

Soutenue le 17-12-2015

Thèse soutenue

Accéder en ligne