Login / Signup
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.
Sabine Winetzhammer
Joel Greenyer
Matthias Tichy
Published in:
SAM (2014)
Keyphrases
</>
reactive systems
sequence diagrams
state machines
petri net
intermediate representation
temporal logic
dependency graph
databases
social networks
case study
open source
knowledge acquisition
model checking
control flow