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

Mojgan Kamali, Luigia Petre

Browse the full VECoS paper archive.