消息
×
loading..
×
验证码:
换一张
忘记密码？
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [2]
作者
陈光耀 [1]
江智浩 [1]
陈宇奇 [1]
文献类型
会议论文 [1]
期刊论文 [1]
发表日期
2025 [1]
2024 [1]
出处
2024 ACM/I... [1]
COMPUTER N... [1]
语种
英语 [2]
资助项目
Distinguis... [1]
Fundamenta... [1]
National N... [1]
Shanghai S... [1]
State Key ... [1]
资助机构
收录类别
EI [2]
SCI [1]
状态
已发表 [2]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共2条，第1-2条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
题名升序
题名降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
SFACIF: A safety function attack and anomaly industrial condition identified framework
期刊论文
COMPUTER NETWORKS, 2025, 卷号: 257
作者:
Liu, Kaixiang
;
Xie, Yongfang
;
Chen, Yuqi
;
Xie, Shiwen
;
Chen, Xin
Adobe PDF(2049Kb)
|
收藏
|
浏览/下载：245/3
|
提交时间：2024/12/13
Cyber attacks
Network security
Anomaly detection
Basic process control systems
Benchmark data
Industrial conditions
Physical faults
Process industries
Safety and stabilities
Safety function attack
Safety functions
Safety instrumented systems
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems
会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:
Guangyao Chen
;
Zhihao Jiang
Adobe PDF(971Kb)
|
收藏
|
浏览/下载：292/3
|
提交时间：2024/07/08
Cyber Physical System
Embedded systems
Failure analysis
Fault detection
High level languages
Iterative methods
Model checking
Reliability analysis
Risk analysis
Risk assessment
Safety engineering
Case-studies
Critical problems
Cybe-physical systems
Cyber-physical systems
Faults diagnosis
Interactive tutorials
Iterative model
Models checking
Python package
Safety critical systems
首页
上一页
1
下一页
末页
