Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks (2019)

First Author: Webster M

Attributed to: Robotics and Artificial Intelligence for Nuclear (RAIN) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.14279/tuj.eceasst.76.1078.1045

Publication URI: https://journal.ub.tu-berlin.de/eceasst/article/view/1078/1045

Type: Other