Login / Signup
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC.
Finn Haedicke
Hoang Minh Le
Daniel Große
Rolf Drechsler
Published in:
MBMV (2012)
Keyphrases
</>
real time
data mining
environmental conditions
dynamic environments
database
data sets
information retrieval
artificial intelligence
search engine
social networks
information systems
mobile robot
complex environments