Verification-Oriented Behavioral Modeling of Non-Linear Analog.

Martin Freibothe Jens Döge Torsten Coym Stefan Ludwig Bernd Straube Ernst Kock

Published in: FDL (2006)

Keyphrases

model checking
databases
data mining
search engine
computer vision
case study
artificial neural networks
signal processing
modeling framework