Sfoglia per Relatore
Mostrati risultati da 1 a 6 di 6
| Tipo | Anno Accademico | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Laurea Triennale | 2019/2020 | Il Sistema Maude: Strategie e Parametrizzazione | GENTILE, FABIO | |
| Laurea Triennale | 2019/2020 | Il tool CSI per la verifica della confluenza di sistemi di riscrittura | DI PATRIZIO, DENIS | |
| Laurea Triennale | 2018/2019 | LA TECNOLOGIA BLOCKCHAIN | VENTIMIGLIA, VITTORIO | |
| Laurea Triennale | 2019/2020 | Model checking nel sistema Maude | DI SABATINO, LUCA | |
| Laurea Magistrale | 2018/2019 | Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software | CIAVARRO, CRISTINA | |
| Laurea Triennale | 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
