毛春静
作品数: 17被引量:23H指数:2
  • 所属机构:首都师范大学
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:北京市自然科学基金

相关作者

关永
作品数:344被引量:1,170H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
刘永梅
作品数:30被引量:13H指数:2
供职机构:首都师范大学信息工程学院
研究主题:高速通信 抗辐照 串行数据 错误校验 传输接口
张杰
作品数:131被引量:296H指数:8
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
万玛宁
作品数:21被引量:127H指数:3
供职机构:首都师范大学
研究主题:高速通信 抗辐照 串行数据 错误校验 传输接口
尚媛园
作品数:197被引量:200H指数:9
供职机构:首都师范大学
研究主题:图像 四元数 加密 图像加密 虚部