Uppaal vs Event-B for Modelling Optimised Link State Routing.

Mojgan Kamali Luigia Petre

Published in: VECoS (2017)

Keyphrases

event detection
real time
routing algorithm
data sets
genetic algorithm
artificial intelligence
hidden markov models
shortest path