Login / Signup

Formal Verification of Privacy Properties in Electric Vehicle Charging.

Marouane FazouaneHenning KoppRens W. van der HeijdenDaniel Le MétayerFrank Kargl
Published in: ESSoS (2015)
Keyphrases
  • formal verification
  • electric vehicle charging
  • model checking
  • symbolic model checking
  • privacy preserving
  • model checker
  • bounded model checking
  • neural network
  • renewable energy
  • automated verification