Livello precedente |
Matteo Fantozzi. Verifying MISRA C compliance in binary code - Discussion and practical examples. Rel. Alessandro Savino, Stefano Di Carlo, Franco Oberti. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024