TGI-Lehre WWW
 
Kontakt | Index | Suche | Rundgang | English

Verifikation von Systemmodellen

Veranstalter: Daniel Moldt und Rüdiger Valk

Diese Seite enthält Material und zusätzliche Informationen zur
Hauptstudiumsschwerpunktvorlesung im WiSe 2002/2003

18.207 Verifikation von Systemmodellen

   Daniel Moldt, Rüdiger Valk

2st. Mo 10 - 12 C-221

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis:  Link zu offiziellen Angaben

Materialien und sonstige Links

Korrekturen und Anmerkungen bitte an Daniel Moldt oder Rüdiger Valk Letzte Änderung: 13.10.2002
Diese Seite: http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/WS0203/verifikation/verifikation.html