-
郭胜基
-
-
- 所属机构:清华大学信息科学技术学院计算机科学与技术系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 齐大伟
- 作品数:2被引量:0H指数:0
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:元对象协议 有色 银行家算法 PETRI网
- 林明
- 作品数:2被引量:0H指数:0
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:元对象协议 有色 银行家算法 PETRI网
- 王生原
- 作品数:72被引量:198H指数:7
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:编译器 形式化验证 字节码 PETRI网 COQ
- 董渊
- 作品数:95被引量:289H指数:9
- 供职机构:清华大学
- 研究主题:字节码 软件工程 编译器 形式化验证 操作系统