Connexion
Home
  • All theses
  • Ongoing thesis
  • Individuals
  • Organisations
Deactivate Autocomplete Activate Autocomplete






Clear

Advanced search
Only theses to be defended in the next 6 months
Only individuals in connection with a defended thesis or an ongoing thesis for less than five years
defended theses only defended and online theses
REPORT an error

previous individual
next individual

Hernan Ponce de León

is the author of a thesis

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 wrote the following thesis:

Testing concurrent systems through event structures

by Hernan Ponce de León supervised by Stefan Haar - Cachan, Ecole normale supérieure

Informatique
defended on 07-11-2014
Thèse soutenue

Access online
ABES
About | Helpdesk | Terms of Use | Données personnelles | Mentions légales | Accessibilité numérique