Integrating graph transformations and Modal Sequence Diagrams for specifying structurally dynamic reactive systems
Paper in proceeding, 2014
Embedded systems
Testing
Graph theory
Validation
Simulation
Automotive
Structural properties
Scenario-based specifications
Reactive system
Scenario-based specification
Reactive systems
Structural dynamics
Author
S. Winetzhammer
University of Bayreuth
J. Greenyer
University of Hanover
Matthias Tichy
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)
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)
Subject Categories
Information Science
DOI
10.1007/978-3-319-11743-0_9