Safety-Guided Development of Critical Computer-Based Systems Using STPA and Event-B in an Iterative Process

发表刊物：

IET Intelligent Transport Systems【SCI检索，中科院三区，中国计算机学会推荐期刊C类，中国铁道学会高质量期刊T3级】

论文类型：

期刊论文

卷号：

19

期号：

1

是否译文：

否

发表时间：

2025-12-17

收录刊物：

SCI

第一作者：

梅萌

合写作者：

周林,陈圣彬,徐中伟,汪小勇【中国通号卡斯柯信号有限公司-副总裁】,潘亮【中国通号卡斯柯信号有限公司】,骆翔宇

通讯作者：

陈祖希

发布期刊链接：

https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/itr2.70128