| Type: | initiativkursus, udbydes under åben uddannelse
Sprog: engelsk |
|
|
|
|
|
|
|
|
Faglige forudsætninger: 49270
|
|
|
|
Vejledende placering: Sidst i studiet.
|
|
Undervisningsform: Forelæsninger. Opgaveregning og øvelser.
|
|
Evalueringsform Rapportaflevering
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49411
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At give deltagerne kendskab til teori og principper for konstruktion af sikre, tidstro datamatbaserede systemer.
|
|
Kursusindhold: Kursusindhold kan variere med de involverede læreres aktuelle forskning. For tiden er det: Modellering af tidslige systemer. Verifikationsværktøjer. Varighedskalkylen DC (Duration Calculus).
|
