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

Figure 6

The flow diagram of modelling with TPZN.