DE MATTOS, Leonardo Serra
DE MATTOS, Leonardo Serra
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Advanced User Interface for Augmented Information Display on Endoscopic Surgical Images
2018-01-01 Foti, Simone; Mariani, Andrea; Chupin, Thibaud; Dall'Alba, Diego; Cheng, Zhuoqi; Leonardo, Mattos; Caldwell, Darwin; Fiorini, Paolo; DE MOMI, Elena; Ferrigno, Giancarlo
Formal verification of medical CPS: a laser incision case study
2018-01-01 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Advanced User Interface for Augmented Information Display on Endoscopic Surgical Images | 1-gen-2018 | Foti, Simone; Mariani, Andrea; Chupin, Thibaud; Dall'Alba, Diego; Cheng, Zhuoqi; Leonardo, Mattos; Caldwell, Darwin; Fiorini, Paolo; DE MOMI, Elena; Ferrigno, Giancarlo | |
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 |