Modelling Link State Routing in Event-B

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Mojgan Kamali, Luigia Petre
Redaktörer: Wang Hai, Mokhtari Mounir
Förläggare: IEEE Conference Publishing Services
Publiceringsår: 2016
Förläggare: IEEE
Moderpublikationens namn: Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
Artikelns första sida, sidnummer: 207
Artikelns sista sida, sidnummer: 210
ISBN: 978-1-5090-5526-5
eISBN: 978-1-5090-5527-2

Senast uppdaterad 2019-14-10 vid 07:01