![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods in Software and Systems Modeling Volume 3393 || Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Kreowski, Hans-Jörg, Montanari, Ugo, Orejas, Fernando, Rozenberg, Grzegorz, Taentzer, GabrieleVolume:
10.1007/b1
Year:
2005
Language:
english
Pages:
16
DOI:
10.1007/978-3-540-31847-7_18
File:
PDF, 277 KB
english, 2005