Suggestions on the Interpretation of Algebraic Specifications.

Klaus-Peter Hasler Hans-Jörg Kreowski Michael Löwe Michaela Reisin

Published in: ADT (1983)

Keyphrases

high level
image interpretation
formal specification
real world
data mining
machine learning
information retrieval
multiscale
bounded model checking
delay insensitive
algebraic expressions
data sets
reactive systems
control flow
functional requirements
hidden markov models
multi agent systems
information systems