Modeling and proving dynamic behaviors of a routing protocol: A tutorial

With the increasing adoption of Internet of Things technologies for controlling physical processes, their dependability becomes important. One of the fundamental functionalities on which such technologies rely for transferring information between devices is packet routing. However, while the perform...

Full description

Saved in:
Bibliographic Details
Main Authors: Agnieszka Paszkowska, Konrad Iwanicki
Format: Article
Language:English
Published: Wiley 2021-12-01
Series:International Journal of Distributed Sensor Networks
Online Access:https://doi.org/10.1177/15501477211058667
Tags: Add Tag
No Tags, Be the first to tag this record!