Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial


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".