中文版 | English
CASIA OpenIR

分面浏览：资助机构

当前检索式 ((ALL：Temporal Logic))
限定条件 ((出处：IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS))
共15条，第1-15条
61233001 2 61174172 1 61203079 1
61203166) 1 61533019 1 61533019) 1
City University of H 1 Key Research and Dev 1 Key-Area Research an 1
NSFC(71402157) 1 National Natural Sci 1 National Natural Sci 1
National Natural Sci 1 Natural Science Foun 1 Science and Technolo 1