×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [14]
北京航空航天大学 [11]
软件研究所 [8]
武汉大学 [6]
山东大学 [5]
上海大学 [5]
更多...
内容类型
期刊论文 [49]
会议论文 [28]
SCI/SSCI论文 [1]
发表日期
2021 [1]
2018 [2]
2017 [7]
2016 [4]
2015 [5]
2014 [5]
更多...
学科主题
Computer S... [1]
physical g... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共78条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Formal modeling and security analysis method of security protocol based on CPN
期刊论文
Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253
作者:
Gong, Xiang
;
Feng, Tao
;
Du, Jinze
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2022/02/17
Analysis method
Attack path
Colored Petri Nets
Formal analysis
Formal modeling
Formal security
Modeling analyzes
Security analysis
Security protocols
State-space
Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 42971-42983
作者:
Ding, Jie[1]
;
Wang, Rui[2]
;
Chen, Xiao[3]
;
Ge, Ying-En[4]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/24
Formal method
PEPA
incidence matrix
compositional structures
sorting algorithm
Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 42971-42983
作者:
Ding, Jie
;
Wang, Rui
;
Chen, Xiao
;
Ge, Ying-En
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Formal method
PEPA
incidence matrix
compositional structures
sorting algorithm
A Formal Framework for Integrated Environment Modeling Systems
期刊论文
ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, 2017, 卷号: 6, 期号: 1-2
作者:
Zhang, GF
;
Li, Y
;
Chen, C
;
Zhou, R
;
Chen, D
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2017/05/09
Integrated Environment Modeling (IEM)
formal method
operational semantics
unified view
Finite State Machine (FSM)
Verification for Non-polynomial Hybrid Systems Using Rational Invariants
期刊论文
COMPUTER JOURNAL, 2017, 卷号: 60, 页码: 675-689
作者:
Lin, Wang[1]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/24
non-polynomial hybrid systems
safety verification
rational invariant
Symbolic-numeric method
formal verification
Dynamic Scheduling Policy for Patient Flow in a Smart Environment
期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2017, 卷号: 26, 期号: 3, 页码: 530-536
作者:
Chen Xiao[1]
;
Ding Jie[2]
;
Thomas, Nigel[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/24
Dynamic scheduling
Patient flow
Smart environment
Formal method
Performance evaluation process algebra (PEPA)
A Cloud-Based Trust Management Framework for Vehicular Social Networks
期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 2967-2980
-
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/24
Trust management
vehicular social networks
cloud computing
performance evaluation
formal method
PEPA
Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method-PEPA
期刊论文
IEEE COMMUNICATIONS LETTERS, 2017, 卷号: 21, 期号: 4, 页码: 745-748
-
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/24
Fog computing
vehicular networks
dynamic scheduling
performance evaluation
formal method
PEPA
Dynamic Scheduling Policy for Patient Flow in a Smart Environment
期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2017, 卷号: 26, 页码: 530-536
作者:
Chen Xiao
;
Ding Jie
;
Thomas, Nigel
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Dynamic scheduling
Patient flow
Smart environment
Formal method
Performance evaluation process algebra (PEPA)
Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification
期刊论文
SAFETY SCIENCE, 2017, 卷号: 93, 页码: 162-177
作者:
Yang, Qibo
;
Tian, Jin
;
Zhao, Tingdi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Functional Resonance Analysis Method (FRAM)
System safety
Air Traffic Management
Formal verification
Socio-technical system
©版权所有 ©2017 CSpace - Powered by
CSpace