Das Herbstsemester 2020 findet in einer gemischten Form aus Online- und Präsenzunterricht statt.
Bitte lesen Sie die publizierten Informationen zu den einzelnen Lehrveranstaltungen genau.

263-4600-00L  Formal Methods for Information Security

SemesterFrühjahrssemester 2015
DozierendeS. Radomirovic, M. Torabi Dashti
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Keine Informationen zu Gruppen vorhanden.