|
Lectures and Courses Winter Term 2018/2019Tutorial “Logic Programming Engineering”Dr. KlüppelholzSWS: (0/2/0) Undergraduate Seminar “Theoretische Informatik”Prof. Dr. BaierSWS: (0/2/0) Seminar “Selected Topics in Logic and Verification”Prof. Dr. BaierSWS: (0/2/0) Doctoral Seminar „Advances in Probabilistic Model Checking“Prof. Dr. BaierSWS: (0/2/0) Advanced Project “Modellierung und quantitative Systemanalyse I”Prof. Dr. BaierSWS: (0/0/4) Advanced Project “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) Forschungsprojekt “Formale Methoden”Prof. Dr. BaierSWS: (0/0/8) |
|