Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems
Erstveröffentlichung
2014
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