Modellierung 2004 (LNI P045)

Auflistung nach:

1 - 1 von 1

Konferenzbeitrag
Modeling with abstract state machines: A support for accurate system design and analysis
(Modellierung 2004, 2004) Börger, Egon
We survey applications of the Abstract State Machines (ASM) method for high-level system modeling and for well-documented refinements of abstract models to code.