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=180412221.

Synthesis of correct-by-design schedulers for hybrid systems / Romain Soulat ; sous la direction de Laurent Fribourg

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Ordonnancement (informatique) -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Fribourg, Laurent (Directeur de thèse / thesis advisor)

Cassez, Franck (Rapporteur de la thèse / thesis reporter)

Goubault, Éric (Rapporteur de la thèse / thesis reporter)

André, Etienne (1983-....) (Membre du jury / opponent)

Girard, Antoine (1978-....) (Membre du jury / opponent)

Jaulin, Luc (1967-....) (Membre du jury / opponent)

École normale supérieure Paris-Saclay (Cachan, Val-de-Marne) (Organisme de soutenance / degree-grantor)

École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (Ecole doctorale associée à la thèse / doctoral school)