Checking Model Transformation Refinement.
Fabian BüttnerMarina EgeaEsther GuerraJuan de LaraPublished in: ICMT (2013)
Keyphrases
- database
- probabilistic model
- real time
- formal model
- simulation model
- mathematical model
- probability distribution
- high level
- case study
- artificial neural networks
- prior knowledge
- control system
- multiscale
- similarity measure
- expectation maximization
- parameter estimation
- computational model
- computational models
- information retrieval
- metamodel
- classification models
- linear model