杜伊
作品数： 7被引量：4H指数：1
  • 所属机构:四川大学计算机学院
  • 所在地区:四川省 成都市
  • 研究方向:自动化与计算机技术
  • 发文基金:四川省应用基础研究计划项目

相关作者

张琼宇
作品数：11被引量：5H指数：1
供职机构：北京理工大学
研究主题：路由方案 网络 查询模块 加密模块 机密性
何洋
作品数：6被引量：4H指数：1
供职机构：四川大学
研究主题：逻辑表达式 相关信息 死锁检测 死锁 时态逻辑
孙琳
作品数：8被引量：0H指数：0
供职机构：四川大学
研究主题：HELA细胞 逻辑表达式 相关信息 死锁检测 死锁
代声馨
作品数：13被引量：23H指数：2
供职机构：四川大学
研究主题：可调度性 功耗 逻辑表达式 相关信息 死锁检测
洪玫
作品数：81被引量：285H指数：9
供职机构：四川大学软件学院
研究主题：测试用例 软件工程 实时系统 软件测试 空中交通管制
作品列表