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

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis:

• Link zu KVV-Angaben

Materialien zur Veranstaltung

• Editoren
• Information zu Renew.
• Zum Thema Petrinetze: Petri Nets World in Aarhus (http://www.daimi.au.dk/PetriNets/)