Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Eurecom
Date de debut de thèse: Non disponible Date soutenance de thèse: 8 novembre 2013 Directeur de thèse: Davide BALZAROTTI (Eurecom) Sujet de thèse: Test de sécurité pour Internet of Services à travers le model checking
Date de debut de thèse: Non disponible Date soutenance de thèse: 8 novembre 2013 Directeur de thèse: Davide BALZAROTTI (Eurecom) Sujet de thèse: Test de sécurité pour Internet of Services à travers le model checking