赵冬生
作品数： 45被引量：226H指数：7
  • 所属机构:首都师范大学
  • 所在地区:北京市
  • 研究方向:文化科学
  • 发文基金:北京市自然科学基金

相关作者

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