Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse |
Untertitel | inf205 |
Veranstaltungsnummer | 2.01.205 |
Semester | WiSe18/19 |
Aktuelle Anzahl der Teilnehmenden | 9 |
erwartete Teilnehmendenanzahl | 25 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Vorbesprechung | Freitag, 14.12.2018 10:00 - 12:00, Ort: A01 0-010 a |
Erster Termin | Mittwoch, 17.10.2018 10:00 - 12:00, Ort: A05 1-160 |
Art/Form | 3V+1Ü |
Lehrsprache | deutsch |