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

相关作者

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