A tool for the analysis of MANET Routing Protocols based on Abstract State Machines

Alessandro Bianchi
Emanuele Covino
Giovanni Pani
Sebastiano Pizzutilo

Publication date

January 2020

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

A tool for the analysis of MANET Routing Protocols based on Abstract State Machines

Abstract

Extracted data

A tool for the analysis of MANET Routing Protocols based on Abstract State Machines

Abstract

Extracted data

Related items

Related items