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 2004/2005


18.215 Verifikation von Systemmodellen        Daniel Moldt und Rüdiger Valk
2 st. Mo. 10-12 C-221

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis:


Materialien zur Veranstaltung


Korrekturen, Anmerkungen bitte an    Daniel Moldt    Letzte Änderung: 12.07.2004  
Diese Seite: http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS0405/verifikation/verifikation.html