裘宗燕
作品数： 20被引量：68H指数：5
  • 所属机构:北京大学数学科学学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

杨红丽
作品数：29被引量：64H指数：5
供职机构：北京工业大学
研究主题：XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
张乃孝
作品数：24被引量：126H指数：8
供职机构：北京大学数学科学学院
研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
魏晋伟
作品数：2被引量：1H指数：1
供职机构：北京大学数学科学学院信息科学系
研究主题：公钥加密 门禁系统 门禁 系统模型 群签名
于林宇
作品数：27被引量：29H指数：2
供职机构：北京京航计算通讯研究所
研究主题：测试装置 工业数据采集 换向开关 可移植性 现场测试
王颖
作品数：1被引量：16H指数：1
供职机构：北京京航计算通讯研究所
研究主题：形式化验证方法 形式化方法 基于逻辑 逻辑系统
作品列表