Integrating graph transformations and Modal Sequence Diagrams for specifying structurally dynamic reactive systems
Paper i proceeding, 2014
Scenario-based specifications
Scenario-based specification
Structural properties
Embedded systems
Structural dynamics
Simulation
Testing
Reactive system
Reactive systems
Graph theory
Validation
Automotive
Författare
S. Winetzhammer
J. Greenyer
Matthias Tichy
Göteborgs universitet
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