-
刘苇
-
-
- 所属机构:南京大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家高技术研究发展计划
相关作者
- 钱振江
- 作品数：86被引量：122H指数：5
- 供职机构：常熟理工学院
- 研究主题：操作系统 形式化验证 形式化设计 定理证明 形式化
- 黄皓
- 作品数：215被引量：1,267H指数：18
- 供职机构：南京大学
- 研究主题：入侵检测 网络安全 访问控制 操作系统 计算机网络
- 荣国平
- 作品数：91被引量：158H指数：7
- 供职机构：南京大学
- 研究主题：软件工程 代码 系统动力学 软件测试技术 FABRIC
- 邵栋
- 作品数：85被引量：199H指数：7
- 供职机构：南京大学
- 研究主题：软件工程 软件工程专业 系统动力学 代码 软件测试技术
- 周鑫
- 作品数：91被引量：153H指数：7
- 供职机构：南京大学
- 研究主题：黄河三角洲 遍历 剪枝算法 机器人 外骨骼机器人
