Uppaal vs Event-B for Modelling Optimised Link State Routing

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Mojgan Kamali, Luigia Petre
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 2016
Start page: 1
End page: 14
ISBN: 978-952-12-3405-7

Last updated on 2019-18-08 at 05:57