A framework for model transformation verification.
Kevin LanoTony ClarkShekoufeh Kolahdouz RahimiPublished in: Formal Aspects Comput. (2015)
Keyphrases
- probabilistic model
- computational model
- theoretical framework
- conceptual model
- theoretical foundation
- modeling framework
- main contribution
- formal model
- decision model
- statistical model
- generic model
- conceptual framework
- bayesian framework
- mathematical model
- objective function
- neural network model
- parameter estimation
- modeling method
- artificial neural networks
- high level