Sfoglia per Correlatore ROSSI, MATTEO GIOVANNI
Mostrati risultati da 1 a 4 di 4
Application of formal verification theory to microgrid protection systems
2016/2017 GODI, GIANLUCA
Customer preference mining in the travel companion of the Shift2Rail initiative
2019/2020 Gopalakrishnan, Sankari
Learning automata models of operator activity for human digital twin construction
2024/2025 CALTABIANO, FEDERICA
Model checking through inductive partitioning of the state space
2019/2020 FRANZINI, FRANCESCO
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2018-04-19 | Tesi di laurea Magistrale | Application of formal verification theory to microgrid protection systems | GODI, GIANLUCA | |
| 2020-07-24 | Tesi di laurea Magistrale | Customer preference mining in the travel companion of the Shift2Rail initiative | Gopalakrishnan, Sankari | |
| 2025-07-22 | Tesi di laurea Magistrale | Learning automata models of operator activity for human digital twin construction | CALTABIANO, FEDERICA | |
| 2020-10-02 | Tesi di laurea Magistrale | Model checking through inductive partitioning of the state space | FRANZINI, FRANCESCO |
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili