Verification of Model Transformations.
Bernhard SchätzPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- computational model
- neural network
- management system
- probabilistic model
- similarity measure
- prior knowledge
- parameter estimation
- high level
- objective function
- artificial neural networks
- metamodel
- closed form
- input data
- theoretical framework
- conceptual model
- real time
- agent model
- theoretical analysis
- probability distribution
- cost function
- case study
- decision making