Author of the publication

Towards the Automation of the Travel Management Procedure of an Italian Public Administration.

, , , , , and . SWQD, volume 269 of Lecture Notes in Business Information Processing, page 175-187. Springer, (2017)

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.

 

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)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)CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams., , , and . SPLC, page 402-410. ACM, (2015)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)Measuring and Improving the Completeness of Natural Language Requirements., , , and . REFSQ, volume 8396 of Lecture Notes in Computer Science, page 23-38. Springer, (2014)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)Spatial Model Checking for Smart Stations - Research Challenges., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 39-47. Springer, (2021)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)