消息
×
loading..
中文版 | English

在结果中检索

KMS

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
SecureSIS: Securing SIS Safety Functions with Safety Attributes and BPCS Information 期刊论文
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2025, 卷号: PP, 期号: 99, 页码: 3060-3073
作者:  Kaixiang Liu;  Yongfang Xie;  Shiwen Xie;  Yuqi Chen;  Xin Chen
Adobe PDF(1241Kb)  |  收藏  |  浏览/下载：32/1  |  提交时间：2025/03/10
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者:  Chen, Guangyao;  He, Peilin;  Wang, Ziqi;  Teng, Zixin;  Jiang, Zhihao
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：396/4  |  提交时间：2024/02/23
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)  |  收藏  |  浏览/下载：259/3  |  提交时间：2024/07/08
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings 会议论文
PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, April 14, 2024 - April 20, 2024
作者:  Sun, Huijia;  Poskitt, Christopher M.;  Sun, Yang;  Sun, Jun;  Chen, Yuqi
Adobe PDF(2388Kb)  |  收藏  |  浏览/下载：261/3  |  提交时间：2024/07/05
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页