14 citations · 20 across the 3 of their papers we have counts for
1 paper · 1 filter
Richard Banach
Event-B is a well known methodology for the verified design and development of systems that can be characterised as discrete transition systems. Hybrid Event-B is a conservative ex…