Automatic Verification of Combined Specifications: An Overview.

Ernst-Rüdiger Olderog

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

genetic algorithm
decision trees
multiscale
data sets
machine learning
search engine
case study
image segmentation
high level
distributed systems
functional requirements
written in natural language