A Framework for Mobile Ad hoc Networks in Real-Time Maude

DOI10.1007/978-3-319-12904-4_9zbMath1356.68122OpenAlexW2155923096MaRDI QIDQ2945136

José Meseguer, Si Liu, Peter Csaba Ölveczky

Publication date: 9 September 2015

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12904-4_9

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Network protocols (68M12)

Related Items (2)

Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude

This page was built for publication: A Framework for Mobile Ad hoc Networks in Real-Time Maude