刘苇
作品数: 5被引量:19H指数:2
  • 所属机构:南京大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

钱振江
作品数:90被引量:138H指数:6
供职机构:常熟理工学院
研究主题:操作系统 形式化验证 形式化设计 定理证明 形式化
黄皓
作品数:215被引量:1,275H指数:19
供职机构:南京大学
研究主题:入侵检测 网络安全 访问控制 操作系统 计算机网络
荣国平
作品数:92被引量:173H指数:7
供职机构:南京大学
研究主题:软件工程 代码 系统动力学 软件测试技术 FABRIC
邵栋
作品数:86被引量:210H指数:8
供职机构:南京大学
研究主题:软件工程 代码 软件工程专业 系统动力学 软件测试技术
周鑫
作品数:97被引量:155H指数:7
供职机构:南京大学
研究主题:黄河三角洲 遍历 剪枝算法 机器人 外骨骼机器人