263-2925-00L
Program Analysis for System Security and Reliability
| Semester | Spring Semester 2019 |
| Lecturers | M. Vechev |
| 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 | 5 credits |
| Examiners | M. Vechev |
| Type | session examination |
| Language of examination | English |
| Repetition | The performance assessment is only offered in the session after the course unit. Repetition only possible after re-enrolling. |
| Mode of examination | written 120 minutes |
| Additional information on mode of examination | 50% of the grade is determined by mandatory course projects, 50% of the grade is determined by a written 2 hr exam |
| Written aids | None |
| This information can be updated until the beginning of the semester; information on the examination timetable is binding. |