Formally verifiable features in embedded vehicular security systems.

Gyesik Lee Hisashi Oguma Akira Yoshioka Rie Shigetomi Akira Otsuka Hideki 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