金暐
作品数： 6被引量：2H指数：1
  • 所属机构:北京大学信息科学技术学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

王捍贫
作品数：38被引量：27H指数：3
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
朱梅霞
作品数：14被引量：16H指数：2
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
曹永知
作品数：3被引量：1H指数：1
供职机构：北京大学信息科学技术学院
研究主题：MARTE 顺序图 并发程序
杨洋
作品数：105被引量：96H指数：5
供职机构：苏州大学
研究主题：重尾分布 负相协 破产概率 蛋白质序列 蛋白质结构
作品列表