SPAGNOLO, GIORGIO ORONZO
SPAGNOLO, GIORGIO ORONZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.004 secondi).
Smart Services for Railways
2019 Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A.
A Guidelines framework for understandable BPMN models
2018 Corradini, F; Ferrari, A; Fornari, F; Gnesi, S; Polini, A; Re, B; Spagnolo, G O
Improving the quality of business process descriptions of public administrations: resources and research challenges
2018 Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S
Towards formal methods diversity in railways: an experience report with seven frameworks
2018 Mazzanti, F; Ferrari, A; Spagnolo, Go
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles
2017 Mazzanti F.; Ferrari A.; Spagnolo G. O.
The KandIStI/UMC Online Open-Access Verification Framework
2017 Mazzanti, F; Ferrari, A; Spagnolo, G O
Modelling and Validating an Import/Export Shipping Process
2016 Spagnolo, GIORGIO ORONZO; Marchetti, E; Coco, A; Gnesi, S
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
2014 Ferrari A.; Spagnolo G.O.; Menabeni S.; Martelli G.