Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Production Cell Control Problem:
Implementation Code


Citation: Luca Mearelli, "Refining an ASM Specification of the Production Cell to C++ Code", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 666--688.
Summary: The C++ code for the production cell control problem is presented.
Subjects: Benchmark Examples
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)