罗敏
作品数: 20被引量:50H指数:5
  • 所属机构:江西省计算技术研究所
  • 所在地区:江西省
  • 研究方向:自动化与计算机技术
  • 发文基金:江西省科技计划项目

相关作者

杨国强
作品数:20被引量:67H指数:6
供职机构:江西省计算技术研究所
研究主题:SOA WEB WEB服务 笔式交互 智能终端
朱宜炳
作品数:18被引量:28H指数:3
供职机构:江西科技学院
研究主题:安全协议 SPIN 形式化分析 形式化方法 逻辑推理
戴欢
作品数:10被引量:42H指数:3
供职机构:江西省计算技术研究所
研究主题:J2EE 贝塞尔曲线 白酒 安全生产 生产安全
肖美华
作品数:92被引量:240H指数:8
供职机构:华东交通大学
研究主题:形式化方法 SPIN 安全协议 形式化分析 形式化
张俊民
作品数:4被引量:7H指数:2
供职机构:江西省计算技术研究所
研究主题:车辆 J2EE HIBERNATE B/S MVC