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.
Download: