Modellierung WS 2010/11 - Folie 403
Ziele:
Einfaches Beispiel für verknüpfte Aussagen
in der Vorlesung:
- Begründung der Spezifikation
- Erläuterung der Unfallursache
Verständnisfragen:
Schlagen Sie eine Korrektur der Spezifikation vor.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010