Implementation of Modular Algebraic Specifications.

N. W. P. van Diepen

Published in: ESOP (1988)

Keyphrases

specification language
real time
data sets
modular architecture
real world
machine learning
learning algorithm
decision making
artificial neural networks
formal specification
implementation details
modular neural networks