Villanacci, Francesco (2018) Processo di verifica e di validazione di un impianto di segnalamento ferroviario. Case study: verifica e validazione del tasto di liberazione artificiale del blocco conta assi nel sottosistema interlocking sulla direttrice ferroviaria Adriatica. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria elettrica [LM-DM270], Documento full-text non disponibile