A Formal Methodology Applied to Secure Over-the-Air Automotive Applications.

Gabriel Pedroza Muhammad Sabir Idrees Ludovic Apvrille Yves Roudier

Published in: VTC Fall (2011)

Keyphrases

multi agent
information systems
real time
machine learning
formal model
database
data sets
data mining
knowledge base
learning environment
expert systems