An Algebraic Verification of a Mobile Network

Formal Aspects of Computing - United Kingdom
doi 10.1007/bf01211473
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

An Algebraic Approach for PLC Programs Verification

English

Algebraic Process Verification

2001English

Secure Neighbor Position Verification for Mobile Ad Hoc Network

IJARCCE
2015English

Deterministic Network Model Revisited: An Algebraic Network Coding Approach

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2014English

An Automata Based Verification Environment for Mobile Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Navigation of an Autonomous Underwater Vehicle in a Mobile Network

2008English

Policy-Based Network Management in an Integrated Mobile Network

2005English

An Architecture for Anonymous Mobile Coupons in a Large Network

Journal of Computer Networks and Communications
Computer NetworksInformation SystemsCommunications
2016English

An Assessment of Mobile Ad-Hoc Network Security Threads: A Wormhole Attack

International Journal of Computer Applications
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy