På svenska, tack

Search 

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