Using Abstract State Machines for the Description and the Analysis of Formal Systems.
Egon BörgerPublished in: DCFS (2005)
Keyphrases
- statistical analysis
- management system
- decision trees
- high level
- computing systems
- digital libraries
- data analysis
- expert systems
- quantitative analysis
- distributed systems
- mobile devices
- formal analysis
- formal methods
- intelligent systems
- probabilistic model
- database
- information technology
- database systems
- learning algorithm
- information retrieval