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

Erstveröffentlichung

2000

Metadata only
Search for full text

Wissenschaftlicher Artikel

Autoren

Börger, Egon

Riccobene, E.

Schmid, Joachim

Erschienen in

Journal of Universal Computer Science ; 6 (2000), 7. - S. 597-620

Link zur Veröffentlichung

https://dx.doi.org/10.3217/jucs-006-07-0597

DDC-Sachgruppe

DDC 000 / Computer science, information & general works

Metadata

Zur Langanzeige