• 其他栏目

    陈祖希

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

    访问量:

    开通时间:..

    最后更新时间:..

    Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B

    点击次数:

    发表刊物:Safety Science【SCI检索,中科院一区,TOP期刊】

    论文类型:期刊论文

    是否译文:

    发表时间:2024-12-02

    收录刊物:SCI

    影响因子:6.1

    第一作者:Zuxi Chen, Chuanjun Niu【研究生】, Meng Mei, Hongyang Zhang

    发布期刊链接:https://www.sciencedirect.com/science/article/pii/S0925753524003345