An Embedded Reachability Analyzer and Invariant Checker (ERAIC).

Ouiza Dahmoune Robert de B. Johnston

Published in: MTV (2010)

Keyphrases

embedded systems
state space
data acquisition
data sets
case study
affine transformation
affine invariant
transitive closure
databases
neural network
search algorithm
hidden markov models
low cost
data processing
image transformations