扫描手机二维码

欢迎您的访问
您是第 位访客

开通时间：2017.9.29

最后更新时间：2025.5.20

登录| English | 手机版
同专业博导 同专业硕导
  • 葛宁 ( 教授 ) 赞24

    的个人主页 http://shi.buaa.edu.cn/ge/zh_CN/index.htm

  •   教授   博士生导师   硕士生导师
研究方向 当前位置： 中文主页 >>研究方向

形式化方法，安全可信软件，智能化软件工程

版权所有 2014-2022 北京航空航天大学  京ICP备05004617-3  文保网安备案号1101080018
地址：北京市海淀区学院路37号  邮编：100191  电话：82317114