Login / Signup

Formal Verification Analysis of Load-Voltage Power Control.

Mark MoulinLeonid GluhovskyDaniel Geist
Published in: Intell. Autom. Soft Comput. (2006)
Keyphrases
  • formal verification
  • data analysis
  • model checking
  • artificial intelligence
  • mobile devices
  • sensor networks
  • symbolic model checking