Parameterized validation of UML-Like models for reactive embedded systems

Ph.DDOCTOR OF PHILOSOPH

Digital cockpits and decision support systems : design of technics and tools to extract and process data from heterogeneous databases

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-200