Department of Information Technology

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).

Updated  2005-12-05 13:54:07 by Pavel Krcal.