Sabatino Morvillo
According to our database1,
Sabatino Morvillo
authored at least 2 papers
in 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Specification and verification of railway safety-critical systems using TLA<sup>+</sup>: A Case Study.
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020
An Architecture for Predictive Maintenance of Railway Points Based on Big Data Analytics.
Proceedings of the Advanced Information Systems Engineering Workshops, 2020