EN FR
EN FR


2011 Team Activity Report
S4
System Synthesis and Supervision, Scenarios
In partnership with: CNRS, Université Rennes 1

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, Discrete Control Systems, Formal Methods, Timed And Hybrid Systems, Game Theory