| Modelling and Analysis of Real-Time Systems | |
| Engelsk | |
| 5 | |
Kandidat Kurset udbydes som enkeltfag |
| F5B (ons 13-17)
| |
| Campus Lyngby | |
| Forelæsninger og øvelser. Selvstændigt projektarbejde. | |
| 13-uger | |
| F5B | |
| Skriftlig eksamen og bedømmelse af rapport(er)
Individualiserede grupperapporter. Rapporter og skriftlig eksamen bedømmes som en helhed. | |
| Skriftlig eksamen: 2 timer | |
| Skriftlige hjælpemidler er tilladt | |
| 7-trins skala , intern bedømmelse | |
| 02225 | |
| 02158/(02141.02159) , Kendskab til generelle principper for parallelprogrammering: processer / tråde, synkronisering og kommunikation. Generelt kendskab til datalogisk modellering og specifikt kendskab til modeller for parallelitet. Kendskab til temporal logik. Kendskab til basal sandsynlighedsregning. |
|
Hans Henrik Løvengreen , Lyngby Campus, Bygning 322, Tlf.
(+45) 4525 3763 , hhlo@dtu.dk | |
|
Michael Reichhardt Hansen , Lyngby Campus, Bygning 322, Tlf.
(+45) 4525 3727 , mire@dtu.dk | |
| 01 Institut for Matematik og Computer Science | |
I
studieplanlæggeren |