Simulation and verification of an embedded system.

Patrick Augé Brigitte Rozoy Thierry Maurin Roger Reynaud Kamel Bouchefra

Published in: CATA (2001)

Keyphrases

simulation model
data sets
simulation environment
relational databases
mathematical model
simulation study
verification method
database
discrete event simulation
agent model
numerical simulations
complex systems
digital images
evolutionary algorithm
database systems
genetic algorithm
data mining