Modelling Link State Routing in Event-B

Mojgan Kamali, Luigia Petre

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

OriginalspråkOdefinierat/okänt
FörlagTurku Centre for Computer Science (TUCS)
ISBN (tryckt)978-952-12-3350-0
StatusPublicerad - 2016
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här