Our research aims at the development of a formal methodology for the design and analysis of heterogeneous embedded systems. The following map shows the particular research areas. Click on the map to retrieve further information about them.
Models of Computation | Verification and Analysis | Synthesis | Processor Architectures | Processor Architectures | The Averest System
