Dies ist eine alte Version des Dokuments!
Ergebnisse der Klausur vom 15.07.2008
| 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)
Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008)
Übung
Ä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