Lv1
78 积分 2024-12-06 加入
Performance modeling and analysis of a Hyperledger-based system using GSPN
11小时前
已完结
Bayesian Safety Analysis of Railway Systems with Driver Errors
9天前
已关闭
Risk Assessment for STPA with FMEA Technique
11天前
已完结
STAMP goes EAST: Integrating systems ergonomics methods for the analysis of railway level crossing safety management
11天前
已完结
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
11天前
已完结
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
12天前
已完结
A Hazard Analysis Approach for the SOTIF in Intelligent Railway Driving Assistance Systems Using STPA and Complex Network
12天前
已完结
A hierarchical verification approach to verify complex safety control systems based on STAMP
12天前
已完结
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
12天前
已完结
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -
12天前
已完结
皖公网安备34019202002308
