![]() | Livello precedente |
Giulio Sunder.
Security formal verification engine for OT infrastructures.
Rel. Cataldo Basile. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024