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).
Titolo Data di pubblicazione Autore(i) File
Smart Services for Railways 1-gen-2019 Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A.
A Guidelines framework for understandable BPMN models 1-gen-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 1-gen-2018 Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S
Towards formal methods diversity in railways: an experience report with seven frameworks 1-gen-2018 Mazzanti, F; Ferrari, A; Spagnolo, Go
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 1-gen-2017 Mazzanti F.; Ferrari A.; Spagnolo G. O.
The KandIStI/UMC Online Open-Access Verification Framework 1-gen-2017 Mazzanti, F; Ferrari, A; Spagnolo, G O
Modelling and Validating an Import/Export Shipping Process 1-gen-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 1-gen-2014 Ferrari A.; Spagnolo G.O.; Menabeni S.; Martelli G.