Cyber-Physical Systems - Discrete Models - Wintersemester 2015/16

Übersicht

Beschreibung

Vorlesung 3+1 SWS, 6 ECTS

Pflichtmodul im Masterstudiengang ESE
Wahlpflichtmodul im Bachelor- und Masterstudiengang Informatik

Folien und Übungen werden ebenfalls im ILIAS veröffentlicht:
https://ilias.uni-freiburg.de/goto.php?target=crs_468739

Auf dieses Seiten finden Sie ein Diskussionforum für Ankündigungen und Themen aus Vorlesung bzw. Übung.

Unter
https://ilias.uni-freiburg.de/login.php?target=crs_277905
finden Sie die Vorlesungsaufzeichnungen vom letzten Wintersemester 2014/15. Achtung: Der Inhalt der Vorlesung kann in diesem Jahr davon abweichen!

Kommentar

Vorlesung in den Studiengängen Informatik und ESE

Sprache: Englisch

Lernziele: Die Studierenden lernen die Grundlagen der Modellierung, Analyse und Verifikation von "cyber-physical systems".