The course includes a number of laboratory sessions and two lessons. The lessons give an introduction to the labs and an opportunity for the students to further clarify issues regarding the labs.
- Lesson 1: SystemC and timed automata [Slides]
- Lesson 2: MPARM simulator and UPPAAL demonstration [Slides]
Page responsible: Petru Eles
Last updated: 2018-01-08