GERALDES, ANDRÉ AUGUSTO
GERALDES, ANDRÉ AUGUSTO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 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 | |
MEMS Varifocal Mirror for High-Power Laser Focusing | 1-gen-2019 | Geraldes, ANDRÉ AUGUSTO |