Lehrveranstaltungen Sommersemester 2016

Vorlesung „Advanced Logics“

Prof. Dr. Baier

SWS: (4/2/0)

Vorlesung „Entwurfs- und Analysemethoden für Algorithmen“

Dr. Klüppelholz und Prof. Dr. Baier

SWS: (2/0/0)

Proseminar „Theoretische Informatik“

Prof. Dr. Baier

SWS: (0/2/0)

Seminar „Selected Topics in Logic and Verification“

Prof. Dr. Baier

SWS: (0/2/0)

Doktorandenseminar „Advances in Probabilistic Model Checking“

Prof. Dr. Baier

SWS: (0/2/0)

Komplexpraktikum „Modellierung und quantitative Systemanalyse I“

Prof. Dr. Baier

SWS: (0/0/4)

Komplexpraktikum „Modellierung und quantitative Systemanalyse II“

Prof. Dr. Baier

SWS: (0/0/8)

Projektgruppe „Model Checking“

Prof. Dr. Baier

SWS: (0/0/4)

Laborkurs „Modeling and Automated Verification“

Prof. Dr. Baier

SWS: (0/2/0)

Profilmodule

Prof. Dr. Baier

SWS: (0/0/8)