Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Michael Leuschel
Latest
Modelling and Validating an Automotive System in Classical B and Event-B
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
×