| Type: | Open University
Language: English |
|
|
|
|
|
|
|
|
Prerequisite: 49270
|
|
|
|
Recommended semester: 7th - 9th semester
|
|
Scope and form: Lectures. Problem solving and programming exercises.
|
|
Examination: Evaluation of report(s) (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49411
|
|
Department: Department of Information Technology
|
|
Aim: Participants learn theory and principles for design of safe, real-time computer based systems.
|
|
Contents: The contents will vary with the research topics of the lecturers. Currently, the topics are: Modelling of timed systems. Verification tools. Duration calculus (DC).
|
