Änderungen

Zur Navigation springen Zur Suche springen
K
Zeile 124: Zeile 124:     
Nützlich für:
 
Nützlich für:
 +
* Einfachere Darstellung von FSM's
 
* Optimierung (Bedingungen Uninteressant)
 
* Optimierung (Bedingungen Uninteressant)
 
* Verifizierung (Ausschluss unmöglicher Fälle)
 
* Verifizierung (Ausschluss unmöglicher Fälle)
127

Bearbeitungen

Navigationsmenü