TGI-Lehre WWW
 

Kontakt | Index | Suche | Rundgang | English

Modellbildung mittels semiformaler und formaler Techniken

Veranstalter: Daniel Moldt und Rüdiger Valk

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