Co-Simulation of Networked Embedded System: Verification Approach.

Nikhil Damle Avinash G. Keskar

Published in: SSIRI (2008)

Keyphrases

simulation model
simulation environment
database
databases
mathematical model
model checking
three dimensional
signature verification
data sets
neural network
multimedia
face detection
collision detection