![[up]](/style/images/multi_up.png)
Up a levelRaggruppa per: Tipologia del documento | Nessun raggruppamento
Salta a: Tesi
Numero di pubblicazioni : 1.
Tesi
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
Preview
