Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40213-5_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Adaptive QoS Multicast Routing With Mobility Prediction in MANETs

International Journal of Ad hoc, Sensor & Ubiquitous Computing
2010English

Pause Time Optimal Setting for AODV Protocol on RPGM Mobility Model in MANETs

International Journal of Advanced Computer Science and Applications
Computer Science
2010English

Analyzing Optimal Setting of Reference Point Group Mobility Model Using DSR Protocol in MANETS

2015English

Fuzzy Logic-Based Mobility Metric Clustering Algorithm for MANETs

International Journal of Business Data Communications and Networking
Computer NetworksManagement Information SystemsCommunications
2011English

Improving Model Checking With Context Modelling

Advances in Software Engineering
2012English

Model Checking

1997English

Model Checking Transactional Memory With Spin

2009English

A QoS-Assured and Mobility-Aware Routing Protocol for MANETs

JOIV : International Journal on Informatics Visualization
2020English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy