中国科学院重庆绿色智能技术研究院机构知识库

Browse/Search Results:  1-1 of 1

Help

Filters

Funding Project：Chongqing Engineering and Technology Research Center for Big Data of Public Transportation Operation[2019JTDSJ-YB02]    Funding Project：Guizhou Science and Technology Program[[2020]4Y056]

Selected(0)Clear Items/Page: 5101520253035404550556065707580859095100   Sort: SelectWOS Cited Times AscendingWOS Cited Times DescendingTitle AscendingTitle DescendingJournal Impact Factor AscendingJournal Impact Factor DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date DescendingSubmit date AscendingSubmit date Descending
	Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z 期刊论文 MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 卷号: 2020, 页码: 11 Authors:  Liu, Yang;  Huang, Liyuan;  Chen, Jingwei Favorite  |  View/Download：169/0  |  Submit date：2021/03/01