Integrating graph transformations and Modal Sequence Diagrams for specifying structurally dynamic reactive systems
Paper i proceeding, 2014
Embedded systems
Testing
Graph theory
Validation
Simulation
Automotive
Structural properties
Scenario-based specifications
Reactive system
Scenario-based specification
Reactive systems
Structural dynamics
Författare
S. Winetzhammer
Universität Bayreuth
J. Greenyer
Leibniz Universität Hannover
Matthias Tichy
Chalmers, Data- och informationsteknik, Software Engineering
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)
Ämneskategorier
Systemvetenskap
DOI
10.1007/978-3-319-11743-0_9