Verification of System Level Model Transformations.

Samar Abdi Daniel Gajski

Published in: Int. J. Parallel Program. (2006)

Keyphrases

real time
sensitivity analysis
high level
computational model
formal model
artificial intelligence
statistical model
prior knowledge
neural network model
closed form
higher level
management system
objective function
multiscale
feature selection
information retrieval
data mining