• 其他栏目

    张元睿

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

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置: 中文主页 >> 科学研究 >> 论文成果
    Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraints

    点击次数：

    发表刊物：Formal Aspects of Computing (CCF B)

    摘要：(CCF B)

    论文类型：期刊论文

    卷号：36

    期号：2

    是否译文：否

    发表时间：2024-01-01

    收录刊物：SCI、SCIE


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