Sign in

Moving Fast with Software Verification.

Cristiano CalcagnoDino DistefanoJérémy DubreilDominik GabiPieter HooimeijerMartino LucaPeter W. O'HearnIrene PapakonstantinouJim PurbrickDulma Rodriguez
Published in: NFM (2015)
Keyphrases
  • database
  • moving objects
  • data mining
  • real time
  • multiscale
  • end users
  • machine learning
  • feature extraction
  • conveyor belt