Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity
2023-01-01 Costa, Gabriele; De Francisci, Silvia; Valiani, Serenella; Prinetto, Paolo
Modelling flocks of birds and colonies of ants from the bottom up
2023-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Systems Security Modeling and Analysis at IMT Lucca
2024-01-01 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity | 1-gen-2023 | Costa, Gabriele; De Francisci, Silvia; Valiani, Serenella; Prinetto, Paolo | |
Modelling flocks of birds and colonies of ants from the bottom up | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Systems Security Modeling and Analysis at IMT Lucca | 1-gen-2024 | Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella |
Mostrati risultati da 1 a 6 di 6
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