Redesign of the LMST Wireless Sensor Protocol Through Formal Modeling and Statistical Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-68863-1_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Verification of a Group Membership Protocol Using Model Checking

English

Statistical Model Checking of LLVM Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Energy Optimization Through Position ResponsiveRouting Protocol (PRRP) in Wireless Sensor Network

International Journal of Information and Electronics Engineering
2012English

3D Modeling Using a Statistical Sensor Model and Stochastic Search

English

TEEN Protocol in Wireless Sensor Network

Bonfring International Journal of Research in Communication Engineering
2016English

Modeling the Performance of Wireless Sensor Networks

English

Coupling and Importance Sampling for Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Static Verification of Wireless Sensor Networks With Formal Methods

2012English

An Intelligent Evaluation Model Based on the LEACH Protocol in Wireless Sensor Networks

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy