跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Modeling and verifying NDN-based IoV using CSP
Ningning Chen, Huibiao Zhu,
Jiaqi Yin
, Lili Xiao, Yuan Fei
East China Normal University
Shanghai Normal University
科研成果
:
书/报告/会议事项章节
›
会议稿件
›
同行评审
1
引用 (Scopus)
综述
指纹
指纹
探究 'Modeling and verifying NDN-based IoV using CSP' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Access Mechanism
14%
Blockchain
14%
communicating sequential process
100%
Data Access
14%
Data Availability
14%
Data Distribution
14%
Data Security
14%
Deadlock Freedom
14%
Intelligent Transportation System
14%
Internet Architecture
14%
Internet of Vehicles
100%
model checker
14%
Process Analysis
14%
Smart City
28%