Research Article

Formal Modeling and Verification for MVB

Figure 7

BusAdmin1 module.
470139.fig.007