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

Antonio Cansado

est l'auteur d'une thèse

Logiciels -- Vérification SDL Traitement réparti

Fullscreen

Logiciels -- Vérification SDL Traitement réparti

Antonio Cansado a rédigé la thèse suivante :

Formal specification and verification of distributed component systems

par Antonio Cansado sous la direction de Éric Madelaine - Nice

Informatique

Soutenue en 2008

Thèse soutenue