According to our database1, Giacomo Martelli authored at least 4 papers between 2012 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.
Int. J. Softw. Tools Technol. Transf., 2014
Model-based development of an automatic train operation component for communication based train control.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012