马殿富

请使用浏览器自带的分享功能，把这篇资料分享出去
  • CCF官网
  • 加入CCF
  • 登录CCF
  • 首页
  • 文章
  • 视频

  • 音频
  • 图片
  • PPT
  • 专辑
    • 高级检索
    CCF
  • 首页
  • 文章
  • 视频
  • 音频
  • 图片
  • PPT
  • 专辑
    • 马殿富

    马殿富

    CCF 会士、CCF 杰出教育奖获得者、CCF 杰出教育奖评选委员会主席。 职称：北京航空航天 大学教授。 研究方向：主要研究方向为关键实时系软件 建模与形式化验证。 邮箱：dfma@buaa.edu.cn

    9
    1934
  • 相关度
  • 发表时间
  • 浏览数
  • 相关度
  • 发表时间
  • 浏览数
    • 条件筛选
    关键词
    加载更多
    会议活动系列名称
    加载更多
    出版物名称
    加载更多
    发表时间
    至
    资源类型
    加载更多
    前往页
    条件筛选
    资源类型
    加载更多
    关键词
    加载更多
    会议活动系列名称
    加载更多
    出版物名称
    加载更多
    发表时间
    至

    关于

  • 数字图书馆
  • CCF

    • 帮助

  • 加入CCF
  • 常见问题
  • 意见反馈
    • 官方微博
    官方微信

    版权所有 中国计算机学会

    联系电话： (+86)10 6256 2503 邮件：ccf@ccf.org.cn 京ICP备13000930号-4

    京公网安备11010802017125号

    网站建议或者意见请发送邮件：suggest@ccf.org.cn

    360网站安全检测平台