Assignment 1: Schedulability

Here is a link to the fist assignment. It's deadline is on the 28 November 2005 and is to be solved individually or in pairs.

Assignment 2: Modeling with Uppaal

Here is a link to the second assignment. It's deadline is on the 16 January 2006 and is to be solved individually or in pairs.
The corrected reports are put on the white cupboard outside 1420.

Laboratory assignment

Here is the link to the laboratory assignment. It's deadline is on the 5 December 2005 and is to be solved individually or in pairs.
The corrected reports are put on the white cupboard outside 1420.

Solution submission

Turn in your solution in Therese's or Pavel's mailbox nr. 67 and ??, respectively, on floor 4 in building 1.