Towards Heterogeneous Verification of Model Transformations.
Daniel CalegariPublished in: CIbSE (2013)
Keyphrases
- probabilistic model
- mathematical model
- neural network
- management system
- theoretical framework
- databases
- formal model
- neural network model
- high level
- sensitivity analysis
- statistical model
- object model
- hierarchical structure
- experimental data
- theoretical analysis
- probability distribution
- knowledge base
- genetic algorithm
- real world