263-4600-00L
Formal Methods for Information Security
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) |
Leistungskontrolle als Semesterkurs |
ECTS Kreditpunkte | 4 KP |
Prüfende | M. Torabi Dashti,
S. Radomirovic |
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 | mündlich 20 Minuten |
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan. |