Real-Time and Embedded SystemsFDA148, 2004VT
Doctoral students in computer science.
The course was last given
Undergraduate course in real-time systems. Logic I (propositional log.) Logic II (proof and model theory; soundness and completeness, modal logic). Computation I. Computation II
The course is given in an intensive format ("crash course") at a conference facility.
Lecture notes and articles
Zebo Peng, Petru Eles, Gerhard Fohler, Paul Pettersson and Wang Yi.
Assignment and written exam.
Mälardalen Real-Time Research Centre, Linköping University, Mälardalen University, and Uppsala University.
Course web page
Page responsible: Director of Graduate Studies
Last updated: 2012-05-03