Login / Signup
Test-driven verification/validation of model transformations.
László Lengyel
Hassan Charaf
Published in:
Frontiers Inf. Technol. Electron. Eng. (2015)
Keyphrases
</>
computational model
data driven
mathematical model
formal model
social networks
conceptual model
verification method
real time
neural network
reinforcement learning
objective function
data model
management system
theoretical framework
linear model