Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems

Erstveröffentlichung
2014Authors
Winetzhammer, Sabine
Greenyer, Joel
Tichy, Matthias
Beitrag zu einer Konferenz
Published in
SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY. - Berlin : Springer, 2014. - (Lecture Notes in Computer Science ; 8769). - S. 126-141. - ISBN 978-3-319-11743-0, ISBN 978-3-319-11742-3. - ISSN 0302-9743
Link to publication
https://dx.doi.org/10.1007/978-3-319-11743-0_9Conference
8th International Conference on System Analysis and Modeling (SAM), 2014-09-29 - 2014-09-30, Valencia
Subject headings
[Free subject headings]: scenario-based specification | reactive systems | embedded systems | automotive | simulation | validation | testing | CHARTS | LSCS[DDC subject group]: DDC 000 / Computer science, information & general works