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