Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Figure 2

The relation between TPN and Z in TPZN.