[an error occurred while processing this directive] [an error occurred while processing this directive]

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.)
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/softdevcode.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT