• 其他栏目

    陈哲

    • 副教授 硕士生导师
    • 招生学科专业：
      计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    • 性别：男
    • 毕业院校：法国国立应用科学院
    • 学位：工学博士学位
    • 所在单位：计算机科学与技术学院/人工智能学院/软件学院
    • 办公地点：将军大道29号
    • 电子邮箱：

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置: 陈哲 >> 科学研究 >> 论文成果
    路由协议的自动形式化验证方法研究

    点击次数：

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

    发表刊物：计算机技术与发展

    是否译文：否

    发表时间：2017-12-01

    合写作者：黄吴丹,严俊琦

    通讯作者：陈哲


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