Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Sebastian Krings
Latest
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
Cite
×