Translation Validation: From Simulink to C.

Michael Ryabtsev Ofer Strichman

Published in: CAV (2009)

Keyphrases

machine translation
control algorithm
fault detection
data sets
neural network
expert systems
genetic algorithm
image segmentation
control system
hidden markov models
cross language information retrieval
query translation
target language
machine translation system
language resources