Login / Signup

Formal approach to produce verified programs for wireless sensor nodes.

Toshiaki MiyazakiNaoki Akiyama
Published in: CSNDSP (2016)
Keyphrases
  • wireless sensor nodes
  • wireless sensor networks
  • sensor networks
  • formal model
  • computer programs
  • social networks
  • data sets
  • wireless networks
  • wireless communication
  • data processing
  • base station
  • automatic programming