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

Michaël Guedj

est l'auteur d'une thèse

Algorithmes Informatique Protocoles Protocoles de réseaux d'ordinateurs

Fullscreen

Algorithmes Informatique Protocoles Protocoles de réseaux d'ordinateurs

Michaël Guedj a rédigé la thèse suivante :

BSP algorithms for LTL & CTL model checking of security protocols

par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est

Informatique

Soutenue le 11-10-2012

Thèse soutenue

Accéder en ligne