闫炜
作品数： 8被引量：4H指数：2
  • 所属机构:电子科技大学计算机科学与工程学院
  • 所在地区:四川省 成都市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

吴尽昭
作品数：77被引量：173H指数：7
供职机构：广西民族大学
研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
高新岩
作品数：7被引量：12H指数：2
供职机构：中国科学院成都计算机应用研究所
研究主题：分层结构 SAT算法 SAT 合取范式 程序切片
齐芳
作品数：2被引量：7H指数：1
供职机构：兰州大学信息科学与工程学院
研究主题：复用 敏捷软件开发 敏捷开发方法 迭代 软件复用
周宁
作品数：4被引量：14H指数：2
供职机构：北京交通大学计算机与信息技术学院
研究主题：变式 RFID技术 RFID 吴方法 识读器
乔瑞
作品数：2被引量：0H指数：0
供职机构：中国科学院成都计算机应用研究所
研究主题：操作语义 偏序
作品列表