Project Team S4

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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