Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2017-07-27 | Tesi di laurea Magistrale | HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications | LESTINGI, LIVIA; LONGONI, SAMUELE | |
2023-05-25 | Tesi di Dottorato | Model-driven development of formally verified human-robot interactions | Lestingi, Livia |
Mostrati risultati da 1 a 2 di 2
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili