2021
DOI: 10.1007/978-3-030-71017-0_34
|View full text |Cite
|
Sign up to set email alerts
|

A Tool for the Analysis of MANET Routing Protocols Based on Abstract State Machines

Abstract: We introduce MOTION, a Java tool for modeling and simulating mobile ad-hoc networks (MANET); it allows to define the abstract state machine model of the network, to translate it into the ASMETA framework, and to simulate it, finally.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 40 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?