Meeting a Powertrain Verification Challenge.

Parasara Sridhar Duggirala Chuchu Fan Sayan Mitra Mahesh Viswanathan

Published in: CAV (1) (2015)

Keyphrases

model checking
databases
database
data sets
real world
artificial intelligence
information systems
face recognition
false acceptance rate