Towards a Methodology for Verifying Partial Model Refinements.
Rick SalayMarsha ChechikJan GorznyPublished in: ICST (2012)
Keyphrases
- computational model
- high level
- partial information
- machine learning
- formal model
- theoretical analysis
- management system
- cost function
- mathematical model
- experimental data
- conceptual model
- information systems
- prediction model
- conceptual framework
- linear model
- least squares
- parameter estimation
- prior knowledge
- sensitivity analysis
- network model
- artificial intelligence