Research Article

Formal Modeling and Verification for MVB

Figure 11

Simulation report for HCPN model.
470139.fig.0011