Login / Signup
Transformation von Scade-Modellen zur SMT-basierten Verifikation.
Henning Basold
Published in:
CoRR (2014)
Keyphrases
</>
databases
linear transformation
multiscale
transformation rules
database
machine learning
learning algorithm
digital libraries
information technology
statistical machine translation