Menü

MLU

MLU Homepage

Vorlesung: Model Checking - Details

Nachrichtenbox schließen

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Model Checking
Semester	SS 2021
Aktuelle Anzahl der Teilnehmenden	10
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Technische Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Dienstag, 13.04.2021 10:30 - 12:00
Studiengänge (für)	Studiengang Informatik
SWS	2

Lehrende

Dr. Jörg Ritter

Räume und Zeiten

Keine Raumangabe: Dienstag: 10:30 - 12:00, wöchentlich

Studienbereiche

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

Modulzuordnungen

Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.05359.03 - Model Checking, gültig ab 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, gültig ab 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, gültig ab 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, gültig ab WS 2014/15 > LV 1: Seminar (Seminar)