Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: Non disponible Date soutenance de thèse: 11 juillet 2013 Directrice de thèse: Emmanuelle ENCRENAZ (LIP6) Sujet de thèse: Vérification compositionnelle pour la Conception sûre de systèmes embarqués
Date de debut de thèse: Non disponible Date soutenance de thèse: 11 juillet 2013 Directrice de thèse: Emmanuelle ENCRENAZ (LIP6) Sujet de thèse: Vérification compositionnelle pour la Conception sûre de systèmes embarqués