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

Vasiliki Sfyrla

est l'auteur d'une thèse

Composants Modelisation Simulation Systèmes synchrones Validation

Fullscreen

Composants Modelisation Simulation Systèmes synchrones Validation

Vasiliki Sfyrla a rédigé la thèse suivante :

Modélisation des systèmes synchrones en BIP

par Vasiliki Sfyrla sous la direction de Joseph Sifakis et de Dorel Marius Bozga . - Grenoble

Informatique

Soutenue le 21-06-2011

Thèse soutenue

Accéder en ligne