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

Hernan Ponce de León

est l'auteur d'une thèse

Concurrence Logiciels -- Vérification Petri, Réseaux de Réseaux de Petri Test de conformité

Fullscreen

Concurrence Logiciels -- Vérification Petri, Réseaux de Réseaux de Petri Test de conformité

Hernan Ponce de León a rédigé la thèse suivante :

Testing concurrent systems through event structures

par Hernan Ponce de León sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 07-11-2014

Thèse soutenue

Accéder en ligne