Simone Bergadano. Studio e sviluppo di un sistema di calcolo avionico ad alta integrità = Study and development of high integrity avionic computing platform. Rel. Luca Sterpone, Corrado De Sio. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024