Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception / Hela Guesmi ; sous la direction de Saddek Bensalem

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Temps réel (informatique)

Classification Dewey : 004

Bensalem, Saddek (Directeur de thèse / thesis advisor)

Potet, Marie-Laure (1959-....) (Président du jury de soutenance / praeses)

Barkaoui, Kamel (1954-....) (Rapporteur de la thèse / thesis reporter)

Pagetti, Claire (1975-... ; ingénieure de recherche en informatique) (Rapporteur de la thèse / thesis reporter)

Asarin, Eugène (Membre du jury / opponent)

Aït-Ameur, Yamine (1966-.... ; enseignant-chercheur en informatique) (Membre du jury / opponent)

Ben Hedia, Belgacem (1978-....) (Membre du jury / opponent)

Bliudze, Simon (Membre du jury / opponent)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire Verimag (Grenoble) (Laboratoire associé à la thèse / thesis associated laboratory)

Laboratoire d'Intégration des systèmes et des technologies (Palaiseau, Essonne ; 2001-....) (Laboratoire associé à la thèse / thesis associated laboratory)