Suggestions about a specification technique.

B. D. Chaudhary H. V. Sahasrabuddhe

Published in: ACM SIGPLAN Notices (1978)

Keyphrases

formal specification
data sets
image segmentation
asynchronous circuits
neural network
image processing
multi agent
business rules
specification language