Login / Signup
Bounded Property Checking with Symbolic Simulation.
Jürgen Ruf
Prakash Mohan Peranandam
Published in:
MBMV (2003)
Keyphrases
</>
simulation model
neural network
mathematical model
search algorithm
simulation environment
databases
genetic algorithm
image processing
high level
simulation models
continuous functions