On the Algebraic Specification of Domains.

Bernhard Möller Walter Dosch

Published in: ADT (1984)

Keyphrases

application domains
real world
machine learning
formal verification
high level
search algorithm
cross domain
reactive systems
specification language
continuous domains
formal methods
formal specification
higher order
semi supervised
multiscale
training data
metadata
learning algorithm