Modular Algebraic Specifications.

Horst Hansen Michael Löwe

Published in: ALP (1988)

Keyphrases

delay insensitive
learning algorithm
modular structure
concurrent systems
artificial intelligence
real time
real world
machine learning
computer vision
search algorithm
formal verification
algebraic structure
bounded model checking
modular neural networks