Capturing requirements by Abstract State Machines: The Light Control case study (2000)

Cached

Download Links

by Egon Borger , Elvinia Riccobene , Joachim Schmid
Venue:Journal of Universal Computer Science
Citations:12 - 5 self

Document Versions

Capturing requirements by Abstract State Machines: The Light Control case study –Egon Borger, Elvinia Riccobene, Joachim Schmid — 2000 — Journal of Universal Computer Science