Sfoglia per Correlatore ASKARPOUR, MEHRNOOSH
Mostrati risultati da 1 a 3 di 3
Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse
2018/2019 TIRYAKILER, OMER
HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications
2016/2017 LESTINGI, LIVIA
Model-driven risk analysis for the design of safe collaborative robotic applications
2017/2018 BURAN, FEDERICO
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2019-12-18 | Tesi di laurea Magistrale | Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse | TIRYAKILER, OMER | |
| 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 | |
| 2018-12-20 | Tesi di laurea Magistrale | Model-driven risk analysis for the design of safe collaborative robotic applications | BURAN, FEDERICO |
Mostrati risultati da 1 a 3 di 3
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