Login / Signup

Runtime State Verification on Resource-Constrained Platforms.

John ClemensRaj PalBranden Sherrell
Published in: MILCOM (2018)
Keyphrases
  • resource constrained
  • wireless sensor networks
  • sensor networks
  • resource constraints
  • real time
  • resource limitations
  • model checking
  • data sets
  • objective function
  • search space
  • embedded systems
  • leader follower