陈祖希
开通时间：..
最后更新时间：..
点击次数：
所属单位：中国铁道学会
发表刊物：第六届中国铁路发展论坛
论文类型：论文集
是否译文：否
发表时间：2025-09-28
第一作者：张小林【中铁电气化局上海富欣智能交通控制有限公司-安全总监】
合写作者：陈琛,梅萌,陈祖希
发布期刊链接：https://mp.weixin.qq.com/s/t10oooorZ4u7kjlfd6ufeA
上一条：基于STPA的铁路联锁系统安全需求分析及验证方法
下一条：Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B
