Course on
Formal Methods for Interactive Systems
Examination Procedure
There two options:
Seminar
(45 minutes + questions)
on topic and papers suggested by the lecturer or proposed by the student
Possible dates for the seminar:
Tuesday 3 April 2007
Wednesday 4 April 2007
Thursday 12 April 2007
Friday 13 April 2007
Written Report
on research topic suggested by the lecturer or proposed by the student
Deadline:
31 May 2007
Created: Fri Feb 23 12:46:52 CET 2007
Feedback
Updated: Wed Apr 4 15:22:01 CET 2007