Model Checking MANETs with Arbitrary Mobility
From MaRDI portal
Publication:2948247
DOI10.1007/978-3-642-40213-5_14zbMath1434.68299OpenAlexW1907527420WikidataQ57835218 ScholiaQ57835218MaRDI QIDQ2948247
Ali Movaghar, Saeide Ahmadi, Fatemeh Ghassemi, W. J. Fokkink
Publication date: 30 September 2015
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40213-5_14
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Temporal logic (03B44)
Related Items (4)
Model checking mobile ad hoc networks ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ 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: Model Checking MANETs with Arbitrary Mobility