Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.
Egon BörgerPublished in: Formal Aspects Comput. (2007)
Keyphrases
- complex systems
- mathematical models
- analytical methods
- simulation models
- finite state machines
- quantitative analysis
- computational models
- model selection
- real time
- statistical analysis
- physical systems
- statistical models
- building blocks
- knowledge based systems
- computer systems
- management system
- image analysis
- expert systems
- learning environment
- information retrieval
- databases