50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Algorithmic


Classification and Contents

Title Modellierung und Analyse von Sicherheitseigenschaften
Lecturer Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz
Classification Teil des Vertiefungsmoduls Sicherheit von Daten und Kommunikation CS 4506
Master Informatik mit AF IT-Sicherheit, Pflicht
Master Informatik und Master EdT, Wahlpflicht

Master Medizinische Informatik, (eigenständiges Wahlpflicht-Modul
Contents
Recommended Books

Lecturer Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Benito van der Zander M.Sc.
Credits 4 SWS
Dates: