|
Lehrveranstaltungen Sommersemester 2018Vorlesung „Advanced Logics“Prof. Dr. BaierSWS: (4/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) Project group „Model Checking“Prof. Dr. BaierSWS: (0/0/4) Lab course „Modeling and Automated Verification“Prof. Dr. BaierSWS: (0/2/0) Forschungsproject „Formale Methoden“Prof. Dr. BaierSWS: (0/0/8) |
|