Uppaal vs Event-B for Modelling Optimised Link State Routing

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
ISBN (tryckt)	978-952-12-3405-7
Status	Publicerad - 2016
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Åtkomst av dokument

@book{6b60bfed761a4244abc8ac03d89bcc54,

title = "Uppaal vs Event-B for Modelling Optimised Link State Routing",

author = "Mojgan Kamali and Luigia Petre",

note = "TUCS Technical Report No 1158, May 2016",

year = "2016",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-952-12-3405-7",

publisher = "Turku Centre for Computer Science (TUCS)",

}