Scientific Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is van der Heijden, RensW. [Clear All Filters]
, "Formal Verification of Privacy Properties in Electric Vehicle Charging", Engineering Secure Software and Systems, vol. 8978: Springer International Publishing, pp. 17-33, 2015.