Modelling Link State Routing in Event-B

Mojgan Kamali, Luigia Petre

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

4 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoEngineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
ToimittajatWang Hai, Mokhtari Mounir
KustantajaIEEE
Sivut207–210
ISBN (elektroninen)978-1-5090-5527-2
ISBN (painettu)978-1-5090-5526-5
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Engineering of Complex Computer Systems (ICECCS) - 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Kesto: 6 marraskuuta 20168 marraskuuta 2016

Konferenssi

KonferenssiInternational Conference on Engineering of Complex Computer Systems (ICECCS)
Ajanjakso06/11/1608/11/16

Viittausmuodot