李强军
作品数: 2被引量:1H指数:1
  • 所属机构:兰州交通大学电子与信息工程学院
  • 所在地区:甘肃省 兰州市
  • 研究方向:自动化与计算机技术
  • 发文基金:教育部人文社会科学研究基金

相关作者

李启南
作品数:22被引量:43H指数:5
供职机构:兰州交通大学电子与信息工程学院
研究主题:B方法 形式化方法 形式化研究 抗合谋 抽象机