Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN Promela.

Haklin Kimm Hanke Kimm

Published in: IMCOM (2019)

Keyphrases

peer to peer
neural network
network structure
network traffic
complex networks
wireless sensor networks
communication networks
modeling method
learning algorithm
fuzzy logic
sufficient conditions
end to end
control algorithm
network architecture
pid controller
network management