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	Master IT-Sicherheit in Planung (Wahlpflicht), IT-Sicherheit, 1., 2. oder 3. Fachsemester Master Medizinische Informatik (Wahlpflicht), Kernbereich Informatik, 1. oder 2. Fachsemester
Contents
Recommended Books

Lecturer	Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Matthias Ernst M.Sc.
Credits	4 SWS, ECTS-Credits: 6
Dates: