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

相关作者

钱振江
作品数：80被引量：104H指数：5
供职机构：常熟理工学院计算机科学与工程学院
研究主题：操作系统 形式化设计 形式化验证 定理证明 形式化
黄皓
作品数：215被引量：1,266H指数：18
供职机构：南京大学
研究主题：网络安全 入侵检测 访问控制 操作系统 计算机网络
作品列表