Abstract State Machines

Spezifikation
Zustand
Begriff
Signatur und Universum
Schritt
Guarded Update
Algorithmus
ASM-Theorem
Large-Step-ASM
Nichtdeterminismus
Erweiterung der Domain
Verteilte ASM

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.

FAQ Kontakt Impressum Datenschutz Nutzungsbedingungen

© 2015 - 2024 Philipp Schweers