Login / Signup
A Mechanized Model for CAN Protocols.
Francesco Bongiovanni
Ludovic Henrio
Published in:
FASE (2013)
Keyphrases
</>
computational model
neural network
data sets
artificial intelligence
statistical model
management system
network model
parameter values
experimental data
mathematical model
artificial neural networks
high level
case study
probability distribution
probabilistic model
objective function
closed form
data mining