晏荣杰
作品数： 29被引量：114H指数：6
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

张广泉
作品数：234被引量：713H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
宋雨
作品数：131被引量：718H指数：13
供职机构：华北电力大学
研究主题：软件工程 软件开发 智能电网 面向对象 大数据
朱雪阳
作品数：26被引量：223H指数：6
供职机构：中国科学院软件研究所
研究主题：XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
张健
作品数：33被引量：50H指数：2
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
徐雨波
作品数：4被引量：11H指数：2
供职机构：中国科学院软件研究所
研究主题：模型检测工具 实时系统 时间自动机 可达性 数据结构
作品列表