Login / Signup
Graph Transformation Systems and Verification with k-Inductive Invariants.
Johannes Dyck
Published in:
Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
</>
graph transformation
management system
building blocks
asynchronous circuits
security systems
expert systems
computer systems
formal methods
model checking
affine invariant
knowledge based systems
multimodal biometrics
machine learning
multi agent
image sequences
database systems
case study