Login / Signup
A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs.
Kunal Banerjee
Chittaranjan A. Mandal
Dipankar Sarkar
Published in:
SCAM (2015)
Keyphrases
</>
main contribution
artificial neural networks
computational model
databases
knowledge base
high level
multiscale
machine translation
framework enables