k-Inductive Invariant Checking for Graph Transformation Systems.
Johannes DyckHolger GiesePublished in: ICGT (2017)
Keyphrases
- graph transformation
- information systems
- machine learning
- databases
- complex systems
- knowledge based systems
- distributed systems
- management system
- mobile devices
- information technology
- knowledge representation
- natural language
- multiscale
- intelligent systems
- computer systems
- real world
- building blocks
- learning systems
- neural network
- database