This paper introduces MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a Java application for both formally modeling and simulating Mobile Ad-hoc NETworks (MANETs). The behavior under study is firstly modeled as an Abstract State Machine, then the model is translated within the ASMETA framework for executing the simulation.
MOTION: An application of ASMETA to mobile ad-hoc networks domain
BEVILACQUA, GIANLUCA GENNARO;Bianchi, Alessandro
2018-01-01
Abstract
This paper introduces MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a Java application for both formally modeling and simulating Mobile Ad-hoc NETworks (MANETs). The behavior under study is firstly modeled as an Abstract State Machine, then the model is translated within the ASMETA framework for executing the simulation.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
