Inria scientific annual reports Inria
TEA - 2014

2014 Project-Team Activity Report
Time, Events and Architectures
Research centre: Rennes - Bretagne-Atlantique
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems
Keywords: Embedded Systems, Formal Methods, Time Modelling, Concurrency Theory, Programming Language, Program Analysis, Type Theory, Code Generation, Data-Flow Networks, Synchronous Modelling, Model-Driven Engineering, Architecture Modelling, Software Engineering