Spezifikation und Verifikation von Eingebetteten Systemen
SWS:
Dozierende:
Beyer, Dirk, Prof. Dr.
Veranstaltungstyp:
Vorlesung
Veranstaltungsart:
Vorlesung
Beginn des Lehrevaluationszeitraums:
Ort:
(IM) SR 030: Mo. 13:00 - 14:00 (15x) Di. 10:00 - 12:00 (15x), (130 IM): Freitag. 26.02. 12:00 - 18:00, Freitag. 08.04. 08:00 - 14:00
Zeiten:
Mo. 13:00 - 14:00 (wöchentlich), Di. 10:00 - 12:00 (wöchentlich), Termine am Freitag. 26.02. 12:00 - 18:00, Freitag. 08.04. 08:00 - 14:00
Erster Termin:Mo , 12.10.2015 13:00 - 14:00, Ort: (IM) SR 030
Semester:
WS 15/16
Veranstaltungsnummer:
5463V
Voraussetzungen:
Voraussetzungen nach Prüfungsordnung: keine empfohlene Voraussetzungen: Schaltnetze und Schaltwerke, Grundlagen der Informatik für Mobile und Eingebettete Systeme
Anrechenbar für:

Die Angaben zu den Anrechenbarkeiten an der FIM sind ohne Gewähr. Bitte beachten Sie die verbindliche Liste der Anrechenbarkeiten .

Fakultät für Informatik und Mathematik > Bachelor Mobile und Eingebettete Systeme
ECTS-Punkte:
7
Ende des Lehrevaluationszeitraums:
Literatur:
Hinweise zur Anrechenbarkeit:
Weitere Informationen zu dieser Veranstaltung:
Heimatinstitut: Lehrstuhl für Informatik mit Schwerpunkt Softwaresysteme
Angemeldete Teilnehmer: 14
Anzahl der Postings im Forum: 2