Login / Signup
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