• 其他栏目

    张元睿

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

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置: 中文主页 >> 科学研究 >> 科研项目
    基于动态逻辑的同步模型验证方法研究

    点击次数：

    所属单位：计算机科学与技术学院/软件学院

    立项时间：2024-01-01


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