Actes de l’Ecole d’Et´ e Temps R´ eel 2005 - ETR’2005 Nicolas Navet To cite this version: Nicolas Navet. Actes de l’Ecole d’Et´ e Temps R´ eel 2005 - ETR’2005. Nicolas Navet. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.296, 2005, 2 905267-47-X. <inria-00000543> HAL Id: inria-00000543 https://hal.inria.fr/inria-00000543 Submitted on 27 Aug 2007 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.