An HDLC Protocol Specification and Its Verification Using Image Protocols
A. Udaya ShankarSimon S. LamPublished in: ACM Trans. Comput. Syst. (1983)
Keyphrases
- protocol specification
- image data
- single image
- image content
- input image
- image features
- communication protocols
- image classification
- multiscale
- edge detection
- image segmentation
- high resolution
- databases
- formal specification
- image retrieval
- artificial intelligence
- software engineering
- model checking
- case study
- urban environments
- database