Static Analysis of Model Transformations.

Jesús Sánchez Cuadrado Esther Guerra Juan de Lara

Published in: IEEE Trans. Software Eng. (2017)

Keyphrases

probabilistic model
computational model
static analysis
neural network
high level
process model
mathematical model
model checking
data sets
databases
database systems
domain knowledge
data management
error rate