Login / Signup

Capturing Requirements by Abstract State Machines: The Light Control Case Study.

Egon BörgerElvinia RiccobeneJoachim Schmid
Published in: J. Univers. Comput. Sci. (2000)
Keyphrases