Sign in
Verification and validation of declarative model-to-model transformations through invariants.
Jordi Cabot
Robert Clarisó
Esther Guerra
Juan de Lara
Published in:
J. Syst. Softw. (2010)
Keyphrases
</>
mathematical model
probabilistic model
probability distribution
management system
bayesian networks
object recognition
theoretical framework
conceptual model
formal model
database
data sets
artificial intelligence
theoretical analysis
parameter estimation
metamodel
linear model