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