Sign in

Static Analysis of Model Transformations.

Jesús Sánchez CuadradoEsther GuerraJuan 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