Cerca per relatore della tesi |
Risultati da
1 a 1 di 1
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| On the Specification and Verification of Safety Properties in Data-Driven Critical Systems | INFORMATICA | 2025 |
| Nuova ricerca |
Cerca per relatore della tesi |
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| On the Specification and Verification of Safety Properties in Data-Driven Critical Systems | INFORMATICA | 2025 |
| Nuova ricerca |