DMCA
École doctorale d’informatique, télécommunications et électronique de Paris
BibTeX
@MISC{Kordon_écoledoctorale,
author = {Fabrice Kordon and Marie Curie},
title = {École doctorale d’informatique, télécommunications et électronique de Paris},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
des systèmes temps-réel répartis embarqués pour la génération automatique d’applications formellement vérifiées Thèse de doctorat soutenue le 1er décembre 2006 par Thomas VERGNAUD pour obtenir le grade de docteur de l’École nationale supérieure des télécommunications – spécialité informatique & réseaux – Composition du jury: rapporteurs: Yvon KERMARREC, professeur à l’École nationale supérieure des télécommunications de Bretagne Jean-François PRADAT-PEYRE, maître de conférence au Conservatoire national des arts et métiers, habilité à diriger des recherches examinateurs: Marie-Pierre GERVAIS, professeur à l’université Paris 10 – Nanterre Frank SINGHOFF, maître de conférence à l’université de Bretagne occidentale directeurs de thèse: Laurent PAUTET, professeur à l’École nationale supérieure des télécommunications de Paris
Keyphrases
cole doctorale informatique professeur cole nationale sup rieure ma tre yvon kermarrec professeur universit paris nanterre frank singhoff bretagne occidentale directeurs obtenir le grade bretagne jean-fran cole nationale sup rieure habilit diriger de recherches examinateurs par thomas vergnaud laurent pautet rence universit marie-pierre gervais me temps-r el partis embarqu
