Research Article

Formal Modeling and Verification for MVB

Figure 1

Multifunction Vehicle Bus in a locomotive.
470139.fig.001