Automatic verification of industrial designs.

Vicky Hartonas-Garmhausen Thomas R. Kurfess Edmund M. Clarke David E. Long

Published in: WIFT (1995)

Keyphrases

industrial applications
industrial process
search algorithm
trade off
multiresolution
design principles
design space
technology transfer
industrial environment
social networks
feature selection
image processing
decision trees
quality improvement
industrial processes