Login / Signup

Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations.

Gerald WagenknechtDaniel DietterleJean-Pierre EbertRolf Kraemer
Published in: EWSN (2006)
Keyphrases
  • wireless sensor networks
  • lightweight
  • sensor nodes
  • provably secure
  • high level
  • sensor networks
  • efficient implementation
  • formal analysis