Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

DOI10.1007/978-3-540-68746-7_13zbMath1143.68329OpenAlexW1549371619MaRDI QIDQ3510864

Mads K. Kjeldsen, Kristian L. Espensen, Lars Michael Kristensen

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_13

zbMATH Keywords

case studieshigher-level net modelsapplication of nets to protocols and networksexperience with using netsSystem design and verification using nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

Uses Software

• HOL/SPIN

Cites Work

• Formal verification of standards for distance vector routing protocols
• Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks