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

Building Power Consumption Models from Executable Timed I/O Automata Specifications.

Benoît BarbotMarta KwiatkowskaAlexandru MereacreNicola Paoletti
Published in: HSCC (2016)
Keyphrases
  • power consumption
  • low power
  • finite state machines
  • power saving
  • power management
  • energy efficiency
  • formal specification
  • low power consumption
  • wireless sensor networks
  • energy saving
  • power reduction
  • battery life