Recent verification work at MITRE.

Jonathan K. Millen

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)

Keyphrases

signature verification
formal verification
information retrieval
artificial intelligence
computer vision
image processing
three dimensional
image sequences
multiresolution
probability distribution