Modellbildung mittels semiformaler und formaler Techniken
Diese Seite enthält Material und zusätzliche Informationen
zur
Hauptstudiumsschwerpunktvorlesung im WiSe 2005/2006
18.211 Modellbildung mittels semiformaler und formaler Techniken
Daniel Moldt und
Rüdiger Valk
2 st. Di. 12-14 C-221
Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis:
Bitte die komplementäre Veranstaltung 18.219 Verifikation von Systemmodellen
beachten.
Materialien zur Veranstaltung
Materialien zu Werkzeugen
Allgemeine Hinweise
Korrekturen, Anmerkungen bitte an
Daniel Moldt
Letzte Änderung: 07.07.2005
Diese Seite: http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/WS0506/mobi/mobi.html