Login / Signup

Generating Efficient Protocol Code from an Abstract Specification.

Walid DabbousSean W. O'MalleyClaude Castelluccia
Published in: SIGCOMM (1996)
Keyphrases
  • state machines
  • high level
  • computationally efficient
  • cost effective
  • computationally expensive
  • case study
  • wireless sensor networks
  • sensor networks
  • software development
  • protocol specification