Sfoglia per Autore
Formal verification of robotic surgery tasks by reachability analysis
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
2015 Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Most general property-preserving updates
2017 Bresolin, Davide; Lanese, Ivan
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Formal verification of robotic surgery tasks by reachability analysis | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | 2015-01-01 | MICROPROCESSORS AND MICROSYSTEMS | - | 1.01 Articolo in rivista | - |
| A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems | Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Ti...ziano | 2015-01-01 | PROCEEDINGS OF THE IEEE | - | 1.01 Articolo in rivista | - |
| Most general property-preserving updates | Bresolin, Davide; Lanese, Ivan | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile