Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/dynsys.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | A.V. Zamulin, "Specification of Dynamic Systems by Typed Gurevich Machines". In Proceedings of the 13th International Conference on System Science (Eds. Zdzislaw Bubnicki and Adam Grzech), 15-18 September 1998, Wroclaw, Poland, pp. 160-167. |
|---|---|
| Summary: | A combination of many-sorted algebraic specifications for states and ASM-rules for transitions is proposed as an approach for dynamic system specification. |
| Subjects: | ASM Extensions |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/dynsys.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT