Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks

International Journal of Critical Computer-Based Systems - Switzerland
doi 10.1504/ijccbs.2018.096438
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Inderscience Publishers