Viitteet 1-1 / 1
Formal Analysis of Network Routing Protocols
(Turku Centre for Computer Science (TUCS), 2019-08-23)
The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...