Login / Signup
Reachability Analysis on Timed Graph Transformation Systems.
Christian Heinzemann
Julian Suck
Tobias Eckardt
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
</>
reachability analysis
graph transformation
management system
timed automata
real time
retrieval systems
distributed systems
petri net
complex systems
intelligent systems
relational databases
natural language
machine learning
dynamic programming
finite state machines
search algorithm
neural network