Journals
Publish with us
Publishing partnerships
About us
Blog
Mathematical Problems in Engineering
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Mathematical Problems in Engineering
/
2020
/
Article
/
Tab 2
/
Research Article
Formal Verification on the Safety of Internet of Vehicles Based on TPN and
Z
Table 2
The detail of SI.
I
i
= 0
i
= 1
i
= 2
i
= 3
i
= 4
i
= 5
i
= 6
i
= 7