Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. / Daniel Chaves Café ; sous la direction de Frédéric Boulanger

Date :

Editeur / Publisher : , 2015

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Systèmes informatiques -- Thèses et écrits académiques

Systèmes complexes -- Thèses et écrits académiques

Classification Dewey : 378.242

Boulanger, Frédéric (19..-.... ; directeur de thèses en informatique) (Directeur de thèse / thesis advisor)

Sabouret, Nicolas (1976-.... ; chercheur en informatique) (Président du jury de soutenance / praeses)

Aït-Ameur, Yamine (1966-....) (Rapporteur de la thèse / thesis reporter)

Valderrama, Carlos (Rapporteur de la thèse / thesis reporter)

Pêcheux, François (Membre du jury / opponent)

Santos, Filipe Vinci dos (1964-....) (Membre du jury / opponent)

CentraleSupélec (2015-....) (Organisme de soutenance / degree-grantor)

Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (Ecole doctorale associée à la thèse / doctoral school)