Modelling Link State Routing in Event-B.

Mojgan Kamali Luigia Petre

Published in: ICECCS (2016)

Keyphrases

event detection
state space
neural network
learning algorithm
response time
link structure