Antonio Borrelli
According to our database1,
Antonio Borrelli
authored at least 2 papers
between 2019 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020
2019
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique.
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019