EN FR
EN FR




2011 Team Activity Report
S4
System Synthesis and Supervision, Scenarios
Research centre: Rennes - Bretagne-Atlantique
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