Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Philipp Körner
Latest
Meta-programming Event-B - Advancing Tool Support and Language Extensions
Towards a Shared Specification Repository
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
Cite
×