263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2018
DozierendeR. Sasse, C. Sprenger
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte4 KP
PrüfendeC. Sprenger, R. Sasse
FormSessionsprüfung
PrüfungsspracheEnglisch
RepetitionDie Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich.
Prüfungsmodusmündlich 25 Minuten
Zusatzinformation zum PrüfungsmodusThe grade is determined by a project [20%] and the final oral exam [80%].
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.