CER acknowledges formal methods and process proposed by EULYNX as good practice

CER acknowledges formal methods and process proposed by EULYNX as good practice

Monday, 16 October 2017

With this position paper, CER voices its support for the EULYNX approach of modularity in defining and standardising interfaces in the future digital railway system by strict application of formal methods for the design of technical systems.