Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=198592884.

Assistance au raffinement dans la conception des systèmes embarqués / Hocine Mokrani ; sous la direction de Rabéa Ameur-Boulifa et de Emmanuelle Encrenaz

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Systèmes enfouis (informatique) -- Thèses et écrits académiques

Systèmes, Conception de -- Thèses et écrits académiques

Méthodes formelles (informatique) -- Thèses et écrits académiques

Ameur-Boulifa, Rabéa (1969-....) (Directeur de thèse / thesis advisor)

Encrenaz, Emmanuelle (1969-....) (Directeur de thèse / thesis advisor)

Najm, Elie (Président du jury de soutenance / praeses)

Coussy, Philippe (1974-...) (Rapporteur de la thèse / thesis reporter)

Méry, Dominique (Rapporteur de la thèse / thesis reporter)

Verdier, François (19..-....) (Membre du jury / opponent)

Télécom ParisTech (Organisme de soutenance / degree-grantor)

École doctorale Informatique, télécommunications et électronique (Paris) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire Traitement et communication de l'information (Paris ; 2003-....) (Laboratoire associé à la thèse / thesis associated laboratory)