Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Zustand
Glossar:4801
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Der Zustand eines Systems bzw. eines Modells, das ein System modelliert, resultiert beim Model Checking aus der Belegung aller vorhandenen Systemvariablen. Dementsprechend liegt ein Zustandswechsel (über eine Transition) vor, wenn sich die Werteausprägung einer Systemvariablen ändert.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018