| Matrikel
=== Inhalt ===
Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:
Die Vorlesung wird auf Englisch gehalten.
=== Literatur ===
D. Peled: Software Reliability Methods. Springer, 2001.
E. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press, 2001.
B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
W. Ehrenberger: Software-Verifikation. Hanser, 2002.
=== Termine ===
Vorlesung: Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) und Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008)
Übung: Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008)
Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.
=== Übung ===
Um den Übungsschein zu erwerben
dürfen Sie maximal einen Übungstermin entschuldigt versäumen,
müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren
und müssen die Klausur bestehen
=== Kontakt ===
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.
OK Weitere Information