252-0239-00L
Software Verification
Semester | Autumn Semester 2015 |
Lecturers | B. Meyer,
C. A. Furia,
S. Nanz |
Periodicity | yearly recurring course |
Language of instruction | English |
Performance assessment information (valid until the course unit is held again) |
Performance assessment as a semester course |
ECTS credits | 6 credits |
Examiners | B. Meyer,
C. A. Furia,
S. Nanz |
Type | end-of-semester examination |
Language of examination | English |
Repetition | The performance assessment is only offered at the end after the course unit. Repetition only possible after re-enrolling. |
Additional information on mode of examination | Project (take-home exam): 30%,
Final exam at end of semester (105 min.): 70% |