Achieving model quality through model validation, verification and exploration.
Martin GogollaFrank HilkenKhanh-Hoang DoanPublished in: Comput. Lang. Syst. Struct. (2018)
Keyphrases
- model validation
- formal model
- computational model
- theoretical framework
- mathematical model
- theoretical analysis
- management system
- probabilistic model
- high quality
- high level
- sensitivity analysis
- objective function
- real time
- statistical model
- model checking
- conceptual model
- neural network model
- simulation model
- data mining
- neural network