• 其他栏目

    张元睿

    • 讲师
    • 招生学科专业：
      软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    • 性别：男
    • 毕业院校：华东师范大学
    • 学历：博士研究生毕业
    • 学位：博士学位
    • 所在单位：计算机科学与技术学院/人工智能学院/软件学院
    • 办公地点：南京航空航天大学将军路校区计算机学院126办公室
    • 联系方式：yuanruizhang@nuaa.edu.cn
    • 电子邮箱：

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置: 中文主页 >> 科学研究 >> 论文成果
    A Clock-based Dynamic Logic for Modelling and Verification of CCSL Specifications in Synchronous Systems

    点击次数：

    发表刊物：Science of Computer Programming (CCF B)

    备注：(CCF B)

    论文类型：期刊论文

    学科门类：工学

    卷号：203

    页面范围：102591

    是否译文：否

    发表时间：2021-01-01

    收录刊物：SCI、SCIE


    版权所有©2018- 南京航空航天大学·信息化处（信息化技术中心）