机译:Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z
Chongqing Jiaotong Univ, Informat Sci & Engn, Chongqing 400074, Peoples R China;
Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing Key Lab Automated Reasoning & Cognit, Chongqing 400714, Peoples R China;