A Rule-Based System for Verifying Engineering Specifications in Industrial Visual Inspection Applications.
Dragutin PetkovicEric B. HinklePublished in: IEEE Trans. Pattern Anal. Mach. Intell. (1987)
Keyphrases
- visual inspection
- image analysis
- design requirements
- industrial engineering
- chemical process
- industrial applications
- software engineering
- technology transfer
- laser scanning
- model checking
- computer science
- engineering design
- registration accuracy
- fluorescence microscopy images
- industrial environment
- delay insensitive
- formal specification language
- engineering education
- engineering students
- specification language
- formal specification
- image processing
- electrical engineering
- quality improvement
- printed circuit boards
- artificial intelligence
- computer aided design
- image registration