Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 63 di 63
Titolo Autore(i) Anno Periodico Editore Tipo File
Formal verification applied to robotic surgery Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano 2015-01-01 - Springer International Publishing 2.01 Capitolo / saggio in libro -
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 -
Mostrati risultati da 61 a 63 di 63
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