2004/2005
02913 Avancerede analyse og verifikations teknikker | 2004/2005
|
|
Engelsk titel:
| Advanced analysis and verification techniques | Sprog:
| | Point
(ECTS )
| 5 | Kursustype:
| Kursus for Ph.d.-studerende- Matematik, Fysik og Informatik
|
| Skemaplacering:
|
foråret; pt ingen skemagruppe
| Undervisningsform: | Forelæsninger af deltagerne. | Kursets varighed:
| 13-uger | Evalueringsform:
| | Hjælpemidler:
| | Bedømmelsesform: | | Faglige forudsætninger: | | | Overordnede kursusmål:
| At studere avancerede analyse teknikker og deres anvendelse i konstruktionen af sikre og pålidelige systemer.
| Kursusindhold:
| Se den engelske beskrivelse.
| Kursusansvarlig:
| , 322, 114, (+45) 4525 3736,
| Institut:
| 02 Informatik og Matematisk Modellering | Kursushjemmeside:
| | Tilmelding:
| Hos læreren |
|
| Sidst opdateret:
16. juni, 2004 |
