Abstract and behaviour module specifications.

Felix Cornelius Michael Baldamus Hartmut Ehrig Fernando Orejas

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

high level
state machines
delay insensitive
user behaviour
low level
higher level
information retrieval
computer vision
case based reasoning
formal verification
specification language
formal specification
petri net
data sets
image sequences
decision making
neural network