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

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles / Tanguy Le Berre ; sous la direction de Gérard Padiou et de Philippe Quéinnec

Date :

Editeur / Publisher : , 2010

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Temps réel (informatique) -- Thèses et écrits académiques

Traitement réparti -- Thèses et écrits académiques

Spécifications -- Thèses et écrits académiques

Classification Dewey : 004

Padiou, Gérard (1950-....) (Directeur de thèse / thesis advisor)

Quéinnec, Philippe (Directeur de thèse / thesis advisor)

Institut national polytechnique (Toulouse) (Organisme de soutenance / degree-grantor)