DE MATTOS, Leonardo Serra

DE MATTOS, Leonardo Serra  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Titolo Data di pubblicazione Autore(i) File
Formal verification of medical CPS: a laser incision case study 1-gen-2018 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano