-
肖美华
-
-
- 所属机构:华东交通大学
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:江西省自然科学基金
相关作者
- 李伟
- 作品数：11被引量：43H指数：5
- 供职机构：华东交通大学软件学院
- 研究主题：形式化方法 SPIN OAUTH 信息泄露 授权协议
- 薛锦云
- 作品数：137被引量：557H指数：13
- 供职机构：江西师范大学
- 研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
- 李娅楠
- 作品数：7被引量：39H指数：5
- 供职机构：华东交通大学软件学院
- 研究主题：形式化方法 DICOM PACS系统 PACS 经济增长
- 钟祥喜
- 作品数：11被引量：33H指数：4
- 供职机构：赣南师范大学商学院
- 研究主题：物联网 物联网产业 竞争力 程序公平 分配公平
- 钟小妹
- 作品数：15被引量：34H指数：2
- 供职机构：华东交通大学
- 研究主题：大学生 安全协议 发送 形式化 信效度
