Login / Signup

Formal modeling and validation of a power-efficient grouping protocol for WSNs.

Fatemeh KazemeyniEinar Broch JohnsenOlaf OweIlangko Balasingham
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
  • lightweight
  • wireless sensor networks
  • formal analysis
  • perceptual grouping
  • sensor data
  • energy efficient
  • tcp ip
  • energy conservation
  • medium access control