Model Evolution with Equality Modulo Built-in Theories.
Peter BaumgartnerCesare TinelliPublished in: CADE (2011)
Keyphrases
- computational model
- probabilistic model
- mathematical model
- real time
- formal model
- expert systems
- object model
- parameter values
- simulation model
- neural network model
- sensitivity analysis
- experimental data
- statistical model
- process model
- management system
- prior knowledge
- multiscale
- bayesian networks
- high level
- web services
- neural network