Sfoglia per Relatore
Mostrati risultati da 1 a 7 di 7
Tipo | Anno Accademico | Titolo | Autore | file(s) |
---|---|---|---|---|
Laurea magistrale (Postgraduate Degree) | 2020/2021 | I sistemi cyber-fisici, loro formalizzazione e verifica di proprietà | FANTACONI, EUGENIO | |
Laurea triennale (Bachelor's Degree) | 2019/2020 | Il Sistema Maude: Strategie e Parametrizzazione | GENTILE, FABIO | |
Laurea triennale (Bachelor's Degree) | 2019/2020 | Il tool CSI per la verifica della confluenza di sistemi di riscrittura | DI PATRIZIO, DENIS | |
Laurea triennale (Bachelor's Degree) | 2018/2019 | LA TECNOLOGIA BLOCKCHAIN | VENTIMIGLIA, VITTORIO | |
Laurea triennale (Bachelor's Degree) | 2019/2020 | Model checking nel sistema Maude | DI SABATINO, LUCA | |
Laurea magistrale (Postgraduate Degree) | 2018/2019 | Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software | CIAVARRO, CRISTINA | |
Laurea triennale (Bachelor's Degree) | 2019/2020 | TTT2: un tool per la terminazione di sistemi di riscrittura | FORTUNATO, FEDERICO |
Legenda icone
- File disponibili sulla rete interna
- File non disponibili
- File sotto embargo