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

相关作者

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