Uppaal vs Event-B for Modelling Optimised Link State Routing

Mojgan Kamali, Luigia Petre

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

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationVerification and Evaluation of Computer and Communication Systems. VECoS 2017
EditorsK. Barkaoui, H. Boucheneb, A. Mili, Tahar S. (eds)
PublisherSpringer
Pages189–203
Number of pages15
ISBN (Electronic)978-3-319-66176-6
ISBN (Print)978-3-319-66175-9
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Verification and Evaluation of Computer and Communication Systems. VECoS - 11th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017
Duration: 24 Aug 201725 Aug 2017

Conference

ConferenceInternational Conference on Verification and Evaluation of Computer and Communication Systems. VECoS
Period24/08/1725/08/17

Cite this