Research Article

Formal Modeling and Verification for MVB

Figure 6

Channel module.
470139.fig.006