• 其他栏目

    陈祖希

    • 副教授 硕士生导师
    • 性别:男
    • 学历:博士研究生
    • 学位:工学博士学位
    • 入职时间:2016-06-06
    • 办公地点:机电楼A409
    • 电子邮箱:
    • 在职信息:在岗

    访问量:

    开通时间:..

    最后更新时间:..

    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