Vorlesung Modellierung WS 2001/2002 - Folie Nr. 319

Ziele:
Entwicklung eines vollständigen Beispiels

in der Vorlesung:
Erläuterung der einzelnen Schritte. In den Dateien verifikation.ps und verifikation.pdf findet man die schrittweise Entwicklung des Inhaltes der Folie.