Formal foundation of consistent EMF model transformations by algebraic graph transformation.

Enrico Biermann Claudia Ermel Gabriele Taentzer

Published in: Softw. Syst. Model. (2012)

Keyphrases

computational model
real time
mathematical model
case study
probabilistic model
databases
statistical model
high level
theoretical analysis
mobile robot
graph transformation
hybrid model
formal model
management system
data structure
computer vision
information retrieval
machine learning
neural network
data sets