Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Tsutomu Kobayashi
Latest
Formal Distributed Protocol Development for Reservation of Railway Sections
Understanding and Planning Event-B Refinement through Primitive Rationales
Cite
×