Deriving Mode Invariants from SCR Specifications.

Published in: ICECCS (1996)

Keyphrases

invariant features
control flow
high level
neural network
finite state machines
formal specification
moment invariants
learning algorithm
image processing
database systems
pattern recognition
model checking
operational semantics
projective invariants
imperative programs