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

Si Liu Peter Csaba Ölveczky José Meseguer

Published in: Software, Services, and Systems (2015)

Keyphrases

formal analysis
real time
formal methods
agent model
formal specification
control system
low cost
lightweight
data transmission
multi hop