Sfoglia per Relatore
A semantically rich access control system for Shift2Rail interoperability framework
2019/2020 SARTOR, LUCA
A study of the security aspects of the green move vehicle sharing system
2013/2014 FANG, WEN PIAO
Analisi di un sistema di comunicazione modbus ai fini della stesura di un capitolato di prova industriale per sistemi di supervisione
2012/2013 VINCI, GIOVANNI
Automated Deployment of Multi-Robot Collaborative Applications in Hybrid Settings
2021/2022 Agugiaro, Lorenzo
Automated formal verification for microgrids protection systems
2017/2018 UBBIALI, FRANCESCO
Automated model-based testing of railway signalling systems
2017/2018 POLETTI, MASSIMILIANO
Automated rule conflict detection for building management system
2015/2016 CAMURANI, DAVIDE
Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse
2018/2019 TIRYAKILER, OMER
Critical review of state-of-the-art of software engineering techniques
2017/2018 NAJAFI, MORTEZA
Delay estimation for shared rides for GPS data
2020/2021 Samavati, Sepehr
Development of a flexible methodology for the control and management of industrial plants
2017/2018 GALLARDO MOLINA, SEBASTIÁN
Development of a user friendly testing tool for the gas meter industry
2021/2022 Ibarra Tejera, Saul Andres
A DSL for formally verified interactive robotic applications in service settings
2021/2022 ZERLA, DAVIDE
Estensione di un ambiente di esecuzione per applicazioni robotiche collaborative formalmente verificate
2020/2021 SBIETTI, MICHELE
Fast computation of travel distance approximations through overlay graphs
2019/2020 Romano, Leonardo
Formal methods-based design of dynamically configurable traffic lights management systems
2017/2018 FRISO, LUCA
Formal verification of timed properties for data-intensive applications
MARCONI, FRANCESCO
Formalization of a cognitive layered model of human decision-making for robotic applications
2022/2023 Ribolla, Gabriele
Gestione energetica automatizzata di dispositivi mobili applicata ad un sistema di car sharing elettrico
2012/2013 CATERNOLO, SALVATORE
HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications
2016/2017 LESTINGI, LIVIA
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