肖美华
作品数： 87被引量：234H指数：8
  • 所属机构:华东交通大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:江西省自然科学基金

相关作者

李伟
作品数：11被引量：42H指数：5
供职机构：华东交通大学软件学院
研究主题：形式化方法 SPIN OAUTH 信息泄露 授权协议
薛锦云
作品数：136被引量：555H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
李娅楠
作品数：7被引量：38H指数：5
供职机构：华东交通大学软件学院
研究主题：形式化方法 经济增长 物流业 物流产业发展 物联网环境
钟祥喜
作品数：11被引量：33H指数：4
供职机构：赣南师范大学商学院
研究主题：物联网 物联网产业 竞争力 程序公平 分配公平
钟小妹
作品数：15被引量：34H指数：2
供职机构：华东交通大学
研究主题：大学生 安全协议 发送 形式化 信效度
作品列表