Angelo Chiappini

Learn More
The European Train Control System (ETCS) is a control system for the interoperability of the railways across Europe. In this paper, we report on the activities of the EuRailCheck project, promoted by the European Railway Agency, for the development of a methodology and tools for the formalization and validation of the ETCS specifications. Within the(More)
  • 1