Sign in

Formally verifiable features in embedded vehicular security systems.

Gyesik LeeHisashi OgumaAkira YoshiokaRie ShigetomiAkira OtsukaHideki Imai
Published in: VNC (2009)
Keyphrases
  • security systems
  • feature extraction
  • neural network
  • data mining
  • artificial intelligence
  • decision making
  • decision trees
  • data streams
  • software systems
  • rule based systems