Communication Dans Un Congrès
Année : 2015
Daniel Le Métayer : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01089925
Soumis le : mardi 2 décembre 2014-15:35:07
Dernière modification le : mercredi 15 mars 2023-08:53:38
Dates et versions
Identifiants
- HAL Id : hal-01089925 , version 1
Citer
Marouane Fazouane, Henning Kopp, Rens van Der Heijden, Daniel Le Métayer, Franck Kargl. Formal verification of privacy properties in electrical vehicle charging.. International Symposium on Engineering Secure Software and Systems (ESSOS15), Mar 2015, Milan, Italy. ⟨hal-01089925⟩
152
Consultations
0
Téléchargements