李伟
作品数: 11被引量:42H指数:5
  • 所属机构:华东交通大学软件学院
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:江西省自然科学基金

相关作者

肖美华
作品数:87被引量:234H指数:8
供职机构:华东交通大学
研究主题:形式化方法 SPIN 安全协议 形式化分析 图像
李娅楠
作品数:7被引量:38H指数:5
供职机构:华东交通大学软件学院
研究主题:形式化方法 经济增长 物流业 物流产业发展 物联网环境