您的位置： 专家智库 > >

解颜铭

作品数：6 被引量：5H指数：2
供职机构：湖北师范学院计算机科学与技术学院更多>>
发文基金：湖北省教育厅青年基金湖北省自然科学基金湖北省教育厅重点项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...
  • 1个经济管理
  • 1个机械工程
  • 1个电子电信
  • 1个轻工技术与工...
  • 1个社会学

主题

  • 2个电子邮件
  • 2个电子邮件协议
  • 2个形式化
  • 2个形式化分析
  • 2个邮件
  • 2个邮件协议
  • 2个认证性
  • 1个单片
  • 1个单片机
  • 1个单片机串口
  • 1个档案
  • 1个档案管理
  • 1个档案管理系统
  • 1个倒立摆
  • 1个倒立摆系统
  • 1个电子称
  • 1个电子称重
  • 1个电子称重系统
  • 1个电子档案
  • 1个电子档案管理

机构

  • 2个湖北师范学院
  • 1个华中科技大学
  • 1个湖北师范大学

资助

  • 2个湖北省自然科...
  • 2个湖北省教育厅...
  • 2个湖北省教育厅...
  • 1个国家高技术研...
  • 1个国家自然科学...

传媒

  • 2个计算机安全
  • 2个微型机与应用
  • 2个湖北师范学院...
  • 2个信息通信
  • 1个国外电子元器...
  • 1个农业工程学报
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个小型微型计算...
  • 1个计算机工程与...
  • 1个四川大学学报...
  • 1个计算机工程与...
  • 1个微计算机信息
  • 1个湖北广播电视...
  • 1个信息安全与通...
  • 1个2004年全...
  • 1个第四届中国软...
  • 1个全国网络与信...
  • 1个全国网络与信...

地区

  • 2个湖北省
共 2 条 记 录，以下是 1-2
翁艳琴
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
发表作品相关人物供职机构所获资助研究领域
石曙东
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0