Uppaal vs Event-B for Modelling Optimised Link State Routing

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-3405-7
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Pääsy asiakirjaan

@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)",

}