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.