HT2005 Realtime and Distributed Systems Homepage
The course consists of a series of lectures, two assignments and a laboratory exercise in UPPAAL.
It will be examined by an exam (2pts) and the assignment and laboratory (1pt)
to give a total of three points for this part of Computer Systems II (Datorsystem II, del 2).
- Lecturer: Justin Pearson, House 1, Room 1441, tel: (018) 471 7292
- Teaching Assistants : Therese Berg and Pavel Krcal
- Link to the slides http://user.it.uu.se/~justin/Teaching/DatorsystemsII/index.html