Integration of verification methods for program systems.
Victor V. KuliaminPublished in: Program. Comput. Softw. (2009)
Keyphrases
- classification systems
- preprocessing
- genetic algorithm
- information systems
- expert systems
- complex systems
- qualitative and quantitative
- model checking
- building blocks
- empirical studies
- knowledge based systems
- significant improvement
- mathematical models
- distributed systems
- data sets
- multi agent systems
- bayesian networks
- neural network
- databases