263-2925-00L
Program Analysis for System Security and Reliability
| Semester | Frühjahrssemester 2019 |
| Dozierende | M. Vechev |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) |
Leistungskontrolle als Semesterkurs |
| ECTS Kreditpunkte | 5 KP |
| Prüfende | M. Vechev |
| Form | Sessionsprüfung |
| Prüfungssprache | Englisch |
| Repetition | Die Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich. |
| Prüfungsmodus | schriftlich 120 Minuten |
| Zusatzinformation zum Prüfungsmodus | 50% of the grade is determined by mandatory course projects, 50% of the grade is determined by a written 2 hr exam |
| Hilfsmittel schriftlich | Keine |
| Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan. |
