( en | de | ru )

 

Disambiguation of "Spagnolo, Giorgio Oronzo"

Author of the publication

copydeleteadd this publication to your clipboard
Towards formal methods diversity in railways: an experience report with seven frameworks.

, , and . Int. J. Softw. Tools Technol. Transf., 20 (3): 263-288 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Angiolino Spagnolo

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

 

Other publications of authors with the same name

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 297-314. (2016)CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams., , , and . SPLC, page 402-410. ACM, (2015)Model-Based Evaluation of the Availability of a CBTC System., , , and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 165-179. Springer, (2012)From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions., , , and . Int. J. Softw. Tools Technol. Transf., 16 (6): 647-667 (2014)Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture., , , , and . RE Workshops, page 306-315. IEEE, (2024)Spatial Model Checking for Smart Stations - Research Challenges., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 39-47. Springer, (2021)Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process., , , and . REFSQ Workshops, volume 3378 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Measuring and Improving the Completeness of Natural Language Requirements., , , and . REFSQ, volume 8396 of Lecture Notes in Computer Science, page 23-38. Springer, (2014)Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles., , and . ERCIM News, (2017)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 368-384. Springer, (2020)