Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Dominik Hansen
Latest
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
Validation of the ABZ landing gear system using ProB
Validation of the ABZ Landing Gear System Using ProB
Cite
×