A Framework for Mobile Ad hoc Networks in Real-Time Maude
From MaRDI portal
Publication:2945136
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
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
Modeling and analyzing mobile ad hoc networks in Real-Time Maude, Formal Analysis of Leader Election in MANETs Using Real-Time Maude