Research Article

Formal Modeling and Verification for MVB

Figure 9

Timing diagram of the synchronous model.
470139.fig.009