Login / Signup

Automatic verification of active device drivers.

Sidney AmaniPeter ChubbAlastair F. DonaldsonAlexander LeggKeng Chai OngLeonid RyzhykYanjin Zhu
Published in: ACM SIGOPS Oper. Syst. Rev. (2014)
Keyphrases
  • active control
  • car navigation
  • decision making
  • website
  • data sets
  • data mining
  • artificial neural networks
  • key factors