BROCCIA, GIOVANNA
BROCCIA, GIOVANNA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Formal methods for railway systems: a survey of research and technology transfer projects
2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
DataMod2020: 9th International Symposium "from Data to Models and Back"
2020 Bowles, J; Broccia, G; Nanni, M
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal methods for railway systems: a survey of research and technology transfer projects | 1-gen-2026 | Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio | |
| DataMod2020: 9th International Symposium "from Data to Models and Back" | 1-gen-2020 | Bowles, J; Broccia, G; Nanni, M |