Project-team
SYCOMORES
Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems
The objective of the SYCOMORES project-team is to develop a framework for the design and the...