Basic Ideas for Transformations of Specification Architectures.

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

computing paradigms
formal specification
artificial intelligence
high level
specification language
database
neural network
idea generation
data sets
image segmentation
multi agent
probabilistic model
application domains
conceptual model
asynchronous circuits