Modelling Link State Routing in Event-B

Mojgan Kamali, Luigia Petre

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

3 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikationEngineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
RedaktörerWang Hai, Mokhtari Mounir
FörlagIEEE
Sidor207–210
ISBN (elektroniskt)978-1-5090-5527-2
ISBN (tryckt)978-1-5090-5526-5
DOI
StatusPublicerad - 2016
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conference on Engineering of Complex Computer Systems (ICECCS) - 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Varaktighet: 6 nov 20168 nov 2016

Konferens

KonferensInternational Conference on Engineering of Complex Computer Systems (ICECCS)
Period06/11/1608/11/16

Citera det här