 | Livello precedente |
Francesco Rametta.
Formal verification of a V2X Security Credential Management System.
Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
Eccetto ove diversamente specificato, i contenuti di questo sito sono rilasciati sotto 
Licenza Creative Commons - Attribuzione 3.0 Italia.
Powered by Eprints 3 - customization and management by Politecnico di Torino.
