Thomas Naulin

Latest

• Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model
• Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains