Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 20 di 40
Fulltext Data Tipo Titolo Autore (i)
2020-04-29 Tesi di laurea Magistrale A semantically rich access control system for Shift2Rail interoperability framework SARTOR, LUCA
2014-04-29 Tesi di laurea Magistrale A study of the security aspects of the green move vehicle sharing system FANG, WEN PIAO
2013-12-18 Tesi di laurea Magistrale Analisi di un sistema di comunicazione modbus ai fini della stesura di un capitolato di prova industriale per sistemi di supervisione VINCI, GIOVANNI
2022-12-20 Tesi di laurea Magistrale Automated Deployment of Multi-Robot Collaborative Applications in Hybrid Settings Agugiaro, Lorenzo
2018-07-25 Tesi di laurea Magistrale Automated formal verification for microgrids protection systems UBBIALI, FRANCESCO
2019-04-16 Tesi di laurea Magistrale Automated model-based testing of railway signalling systems POLETTI, MASSIMILIANO
2016-12-21 Tesi di laurea Magistrale Automated rule conflict detection for building management system CAMURANI, DAVIDE
2024-07-16 Tesi di laurea Magistrale Automating Event Detection for Automata Learning LINDVED, LARS GYLDING
2019-12-18 Tesi di laurea Magistrale Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse TIRYAKILER, OMER
2024-04-09 Tesi di laurea Magistrale Creation of a realistic dataset for the evaluation of a travel offer recommender system Yilmaz, Melis
2018-12-20 Tesi di laurea Magistrale Critical review of state-of-the-art of software engineering techniques NAJAFI, MORTEZA
2022-04-28 Tesi di laurea Magistrale Delay estimation for shared rides for GPS data Samavati, Sepehr
2018-07-25 Tesi di laurea Magistrale Development of a flexible methodology for the control and management of industrial plants GALLARDO MOLINA, SEBASTIÁN
2022-10-06 Tesi di laurea Magistrale Development of a user friendly testing tool for the gas meter industry Ibarra Tejera, Saul Andres
2022-04-28 Tesi di laurea Magistrale A DSL for formally verified interactive robotic applications in service settings ZERLA, DAVIDE
2021-12-21 Tesi di laurea Magistrale Estensione di un ambiente di esecuzione per applicazioni robotiche collaborative formalmente verificate SBIETTI, MICHELE
2021-04-28 Tesi di laurea Magistrale Fast computation of travel distance approximations through overlay graphs Romano, Leonardo
2018-04-19 Tesi di laurea Magistrale Formal methods-based design of dynamically configurable traffic lights management systems FRISO, LUCA
2018-07-17 Tesi di Dottorato Formal verification of timed properties for data-intensive applications MARCONI, FRANCESCO
2023-05-04 Tesi di laurea Magistrale Formalization of a cognitive layered model of human decision-making for robotic applications Ribolla, Gabriele
Mostrati risultati da 1 a 20 di 40
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