Verification by Simulation Comparison using Interface Synthesis.

Cordula Hansen Arno Kunzmann Wolfgang Rosenstiel

Published in: DATE (1998)

Keyphrases

program synthesis
learning algorithm
simulation model
user interface
simulation study
discrete event simulation
real time
metadata
decision trees
statistical analysis
high fidelity
simulation models
graphical interface
colored petri nets