上海科技大学知识管理系统

ShanghaiTech University Knowledge Management System

图片搜索

粘贴图片网址

点击查看合作网络

2	423	4	3	0	1
Items	Views	Downloads	TC[WOS]	TC[CSCD]	H-index

排序方式：


[1] Guangyao Chen,Ziqi Wang,Chenyang Zhu,et al. Pyuppaal: A Python Toolbox For Model-checking-based Risk Analysis And Fault Management In Safety-critical Systems[C]. International Conference On Computer Aided Verification.2025-01-01.浏览/下载:27/0评论推荐收藏
[2] Chen, Guangyao,He, Peilin,Wang, Ziqi,Teng, Zixin,&Jiang, Zhihao.(2024).Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems.EXPERT SYSTEMS WITH APPLICATIONS,247(123371).浏览/下载:396/4; 被引[WOS]:3; IF:7.5/7.6评论推荐收藏