Simulation based tuning of system specification.

Yaseen Zaidi Christoph Grimm Jan Haase

Published in: DATE (2011)

Keyphrases

neural network
user defined
formal verification
social networks
three dimensional
model checking
parameter settings
parameter tuning
fine tuning
fine tune
ims qti