TDTS07 System Design and Methodology
Lessons
Lessons
The lessons give an introduction to the labs and an opportunity for
the students to further clarify issues regarding the labs.
There are
two lessons.
- Lesson 1: SystemC and timed automata - [slides]
- January 23, 15.15-17.00, P44.
- Lesson 2: MPARM simulator and UPPAAL demonstration - [slides]
- February 6, 15.15-17.00, P44.
- UPPAAL demonstration