Applying Model Transformation and Event-B for Specifying an Industrial DSL.
Ulyana TikhonovaMaarten MandersMark van den BrandSuzana AndovaTom VerhoeffPublished in: MoDeVVa@MoDELS (2013)
Keyphrases
- high level
- management system
- theoretical analysis
- sensitivity analysis
- mathematical model
- statistical model
- objective function
- neural network
- object model
- closed form
- temporal structure
- industrial applications
- prediction model
- bayesian framework
- experimental data
- theoretical framework
- computational model
- input data
- general purpose
- probabilistic model
- cost function
- prior knowledge