SPAGNOLO, GIORGIO ORONZO
SPAGNOLO, GIORGIO ORONZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 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
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface
2023 Spagnolo, Go; Ferrari, A; Penzenstadler, B
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
2019 Ferrari A.; Spagnolo G. O.; Fiscella A.; Parente G.
| 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 | |
| REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface | 1-gen-2023 | Spagnolo, Go; Ferrari, A; Penzenstadler, B | |
| QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions | 1-gen-2019 | Ferrari A.; Spagnolo G. O.; Fiscella A.; Parente G. |