Login / Signup
Marouane Fazouane
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Electric Vehicle Charging
Privacy Preserving
Formal Verification
Renewable Energy
Top Venues
ESSoS
</>
Publications
</>
Marouane Fazouane
,
Henning Kopp
,
Rens W. van der Heijden
,
Daniel Le Métayer
,
Frank Kargl
Formal Verification of Privacy Properties in Electric Vehicle Charging.
ESSoS
(2015)