Vorlesung Modellierung WS 2001/2002 - Folie Nr. 311

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 309-319 als PDF

Ziele:
Notation von Schlussregeln

in der Vorlesung:

  • Prinzip an der Sequenzregel erläutern
  • Beispiel erläutern