BRESOLIN, Davide
BRESOLIN, Davide
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Introduction to the Verification of Hybrid Systems using Ariadne | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins | |
Formal Verification Applied to Robotic Surgery | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano |