2002/2003
02913 Avancerede analyse og verifikations teknikker | 2002/2003
|
|
Engelsk titel:
| Advanced analysis and verification techniques | Sprog:
| | Point
(ECTS )
| 5 | Kursustype:
| Kursus for Ph.d.-studerende
| Kurset udbydes under Tompladsordningen |
|
| Skemaplacering:
|
Udbydes efter aftale med læreren.
| Undervisningsform: | Forelæsninger af deltagerne. | Kursets varighed:
| 13-uger | Evalueringsform:
| | Bedømmelsesform: | | Faglige forudsætninger: | | | Overordnede kursusmål:
| At studere avancerede analyse og verifikations teknikker og deres anvendelse i kon-struktionen af sikre og pålidelige systemer.
| Kursusindhold:
| Se den engelske beskrivelse nedenfor.
| Kursusansvarlig:
| , 322, 114, (+45) 4525 3736,
| Institut:
| 02 Informatik og Matematisk Modellering |
|
| Sidst opdateret:
16. marts, 2003 |
