Book Chapter10.1007/978-3-319-15545-6_16

Formal Analysis of Leader Election in MANETs Using Real-Time Maude

Si Liu,Peter Csaba Ölveczky,José Meseguer-2015-01-01-Lecture notes in computer science

5

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceRewritingMobile ad hoc networkLeader electionWireless ad hoc networkDistributed computingModel checkingFormal methods

Chat

Click to start Chat