|
Lehrveranstaltungen Wintersemester 2015-2016Vorlesung „Model Checking“Prof. Dr. Baier und Dr. KlüppelholzSWS: (4/4/0) Tutorial „Logic Programming Engineering“Dr. KlüppelholzSWS: (0/2/0) Proseminar „Theoretische Informatik“Prof. Dr. BaierSWS: (0/2/0) Seminar „Selected Topics in Logic and Verification“Prof. Dr. BaierSWS: (0/2/0) Doktorandenseminar „Advances in Probabilistic Model Checking“Prof. Dr. BaierSWS: (0/2/0) Komplexpraktikum „Modellierung und quantitative Systemanalyse I“Prof. Dr. BaierSWS: (0/0/4) Komplexpraktikum „Modellierung und quantitative Systemanalyse II“Prof. Dr. BaierSWS: (0/0/8) Projektgruppe „Model Checking“Prof. Dr. BaierSWS: (0/0/4) Laborkurs „Modeling and Automated Verification“Prof. Dr. BaierSWS: (0/2/0) ProfilmoduleProf. Dr. Baier |
|