Name : KLEMENTEV Mikhail Service : EURECOM - Sécurité numérique Fonction : doctorant Courriel : Mikhail.Klementev@eurecom.fr Telephone : 04 93 00 82 95 Bureau : 372 Thesis Cross abstraction analysis for complex embedded systems
