![The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system | Semantic Scholar The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c300a976f9a0fe375f3d80ca72d4159cce032108/5-Figure6-1.png)
The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system | Semantic Scholar
![Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model | SpringerLink Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10009-020-00551-6/MediaObjects/10009_2020_551_Fig1_HTML.png)
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model | SpringerLink
![Model-Based Approach for ERTMS Railway Wayside System Specification, Validation, and Proof - Video - MATLAB & Simulink Model-Based Approach for ERTMS Railway Wayside System Specification, Validation, and Proof - Video - MATLAB & Simulink](https://httpsak-a.akamaihd.net/62009828001/62009828001_5366494973001_3414296937001-vs.jpg?pubId=62009828001&videoId=3414296937001)
Model-Based Approach for ERTMS Railway Wayside System Specification, Validation, and Proof - Video - MATLAB & Simulink
![Coordinates : A resource on positioning, navigation and beyond » Blog Archive » An analytical assessment of a GNSS-based train integrity solution Coordinates : A resource on positioning, navigation and beyond » Blog Archive » An analytical assessment of a GNSS-based train integrity solution](https://mycoordinates.org/wp-content/uploads/2016/03/b4.jpg)