-
张健
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 詹乃军
- 作品数:17被引量:96H指数:4
- 供职机构:中国科学院软件研究所
- 研究主题:形式化方法 软件开发 人工智能 形式规约 形式化验证
- 赵军锁
- 作品数:135被引量:86H指数:5
- 供职机构:中国科学院软件研究所
- 研究主题:卫星 星载 卫星姿态 天基 神经网络
- 吴凤鸽
- 作品数:44被引量:29H指数:4
- 供职机构:中国科学院软件研究所
- 研究主题:卫星 卫星姿态控制 卫星姿态 测控 在轨卫星
- 蔡彦
- 作品数:11被引量:38H指数:1
- 供职机构:中国科学院软件研究所
- 研究主题:线程 软件测试 死锁 数据竞争 选线
- 晏荣杰
- 作品数:27被引量:112H指数:6
- 供职机构:中国科学院软件研究所
- 研究主题:软件复用 软件体系结构 软件工程 构件库 体系结构