• 其他栏目

    张元睿

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

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置: 中文主页 >> 科学研究 >> 论文成果
    A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

    点击次数：

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

    备注：(CCF B, JCR Q2)

    论文类型：期刊论文

    卷号：16

    期号：4

    页面范围：164407

    是否译文：否

    收录刊物：SCI、SCIE


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