Specifying and Proving Properties of Sentinel Processes.

Krithi Ramamritham Robert M. Keller

Published in: ICSE (1981)

Keyphrases

data sets
database
desirable properties
topological properties
databases
neural network
computer vision
image processing
decision trees
wide range
d objects