Union and Actualization of Module Specifications: Some Compatibility Results.

Francesco Parisi-Presicce

Published in: J. Comput. Syst. Sci. (1987)

Keyphrases

database
functional requirements
delay insensitive
artificial intelligence
high level
formal specification
neural network
image segmentation
learning environment
concurrent systems