Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| Istituto | Anno di pubblicazione | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Scuola IMT Alti Studi Lucca | 2026 | Fine-grained symbolic verification of heterogeneous systems: systematic exploration and formal analysis of “what-if” attack scenarios | - |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile