- Presentation
- HAL publications
- Activity reports
S4 Research team
System synthesis and supervision, scenarios
- Leader : Benoît Caillaud
- Type : team
- Research center(s) : Rennes
- Field : Algorithmics, Programming, Software and Architecture
- Theme : Embedded and Real Time Systems
- Université Rennes 1
Team presentation
Research teams of the same theme :
- AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
- CONVECS - Construction of verified concurrent systems
- DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
- ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- MUTANT - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- SPADES - Sound Programming of Adaptive Dependable Embedded Systems
- TRIO - Real time and interoperability
Inria
Inria.fr
Inria Channel

Contact
See also