Login / Signup
Grid Based Fast Falsification For Bounded Property Checking.
Pradeep Kumar Nalla
Jörg Behrend
Prakash Mohan Peranandam
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Published in:
FDL (2007)
Keyphrases
</>
database
data sets
social networks
feature selection
artificial neural networks
medical images
desirable properties