Skip to Main content Skip to Navigation

Search by documents



...
hal-02270275v1  Conference papers
Tanguy Le BerrePhilippe QuéinnecGérard Padiou. Ensuring Timed Validity of Distributed Real Time Data
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
...
inria-00442001v1  Conference papers
Tanguy Le BerrePhilippe MauranGérard PadiouPhilippe Quéinnec. A Data Oriented Approach for Real-Time Systems
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.147-158
...
tel-00472469v1  Theses
Tanguy Le Berre. Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
Génie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2010. Français