Login / Signup
A formal model for safety evaluation of platooning system.
Mohamed Garoui
Published in:
SNPD (2016)
Keyphrases
</>
formal model
predicate calculus
neural network
information retrieval
control system
data mining
security patterns