Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Object-Based ASMs


Citation: Jörn W. Janneck and Philipp W. Kutter, "Object-based Abstract State Machines". TIK-Report Nr. 47, 1998.
Summary: A proposed extension of ASMs to include object-based constructs.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: