Verification and analysis of domain-specific models of physical characteristics in embedded control software.
Arjan J. de RooHasan SözerMehmet AksitPublished in: Inf. Softw. Technol. (2012)
Keyphrases
- control software
- domain specific
- physical characteristics
- probabilistic model
- statistical models
- experimental data
- statistical analysis
- analytical methods
- empirical data
- control system
- image analysis
- data analysis
- general purpose
- model selection
- data sets
- virtual environment
- statistical model
- prior knowledge
- classification models
- static analysis
- decision trees
- social networks