Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/light.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger, Elvinia Riccobene, and Joachim Schmid, "Capturing Requirements by Abstract State Machines: The Light Control Case Study". Journal of Universal Computer Science, volume 6, number 7 (2000), 597-620. |
|---|---|
| Summary: | ASMs are applied to the Light Control case study. |
| Subjects: | Benchmark Examples |
| Download: | From Egon Börger's homepage in PDF. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/light.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT