16 citations · 36 across the 6 of their papers we have counts for
1 paper · 1 filter
Tsutomu Kobayashi, Shinichi Honiden
Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refine…