徐春香
作品数： 6被引量：1H指数：1
  • 所属机构:教育部
  • 所在地区:湖南省 湘潭市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家重点基础研究发展计划

相关作者

屈婉玲
作品数：23被引量：152H指数：4
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
王捍贫
作品数：37被引量：23H指数：2
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
黄雨
作品数：62被引量：28H指数：3
供职机构：北京大学
研究主题：计算机设备 存储介质 PETRI网 控制方法 量表
袁崇义
作品数：37被引量：151H指数：6
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
朱梅霞
作品数：14被引量：15H指数：2
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
作品列表