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
Generating Event-B Specifications from Algorithm Descriptions
Using B and ProB for Data Validation Projects
Validation of the ABZ landing gear system using ProB
Validation of the ABZ Landing Gear System Using ProB
Translating B to TLA + for Validation with TLC
Cite
×