Modelling Link State Routing in Event-B

Mojgan Kamali, Luigia Petre

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

3 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationEngineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
EditorsWang Hai, Mokhtari Mounir
PublisherIEEE
Pages207–210
ISBN (Electronic)978-1-5090-5527-2
ISBN (Print)978-1-5090-5526-5
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Engineering of Complex Computer Systems (ICECCS) - 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Duration: 6 Nov 20168 Nov 2016

Conference

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

Cite this