Menu

MLU

MLU Homepage

Lecture: Model Checking - Details

Close message box

You are not logged into Stud.IP.

General information

Course name	Lecture: Model Checking
Semester	SS 2018
Current number of participants	2
Home institute	Leitung des Instituts für Informatik
participating institutes	Technische Informatik
Courses type	Lecture in category Offizielle Lehrveranstaltungen
First date	Tuesday, 03.04.2018 10:15 - 11:45
Studiengänge (für)	Studiengang Informatik
SWS	2

Lehrende

Dr. Jörg Ritter

Rooms and times

No room preference: Tuesday: 10:15 - 11:45, weekly(14x)

Fields of study

Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Technische-Informatik

Module assignments

Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.05359.03 - Model Checking, valid from WS 2014/15 > LV 1: Seminar (Seminar)
Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Technische Informatik und IT-Sicherheit` > INF.05359.03 - Model Checking, valid from WS 2014/15 > LV 1: Seminar (Seminar)
Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.05359.03 - Model Checking, valid from WS 2014/15 > LV 1: Seminar (Seminar)
Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Technische Informatik und IT-Sicherheit` > INF.05359.03 - Model Checking, valid from WS 2014/15 > LV 1: Seminar (Seminar)