Integrating graph transformations and Modal Sequence Diagrams for specifying structurally dynamic reactive systems
Paper in proceeding, 2014
Scenario-based specifications
Scenario-based specification
Structural properties
Embedded systems
Structural dynamics
Simulation
Testing
Reactive system
Reactive systems
Graph theory
Validation
Automotive
Author
S. Winetzhammer
J. Greenyer
Matthias Tichy
University of Gothenburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8769 126-141978-3-319-11742-3 (ISBN)
DOI
10.1007/978-3-319-11743-0_9
ISBN
978-3-319-11742-3