• 其他栏目

    陈祖希

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

    访问量:

    开通时间:..

    最后更新时间:..

    基于Event-B与ADT实例化的TACS形式化开发方法

    点击次数:

    发表刊物:中国铁道科学【中国铁道学会高质量科技期刊T1级】

    论文类型:期刊论文

    卷号:44

    期号:6

    是否译文:

    发表时间:2023-12-07

    收录刊物:EI

    第一作者:陈祖希,牛传军【研究生】,梅萌【通信作者】,刘杰,刘传振,郑黎晓,骆翔宇,潘亮,汪小勇,徐中伟