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

Related search

Static Verification of Wireless Sensor Networks With Formal Methods

2012English

Probabilistic Topology Control in Wireless Sensor Networks

English

QoS Enabled Probabilistic Routing for Heterogeneous Wireless Sensor Networks

International Journal of Computer Network and Information Security
2013English

Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks

2013English

Modeling the Performance of Wireless Sensor Networks

English

Mean Territorial Energy Based Clustering Protocol for Randomly Deployed Wireless Sensor Networks

Advances in Internet of Things
2017English

Network Connectivity Under Probabilistic Communication Models in Wireless Sensor Networks

2007English

Modelling Probabilistic Wireless Networks

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modelling Probabilistic Wireless Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy