• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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