搜索到 篇“ 元对象协议 “的相关文章

相关作者

齐大伟
作品数：2被引量：0H指数：0
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：元对象协议 有色 银行家算法 PETRI网
董渊
作品数：95被引量：285H指数：9
供职机构：清华大学
研究主题：字节码 软件工程 编译器 形式化验证 操作系统
林明
作品数：2被引量：0H指数：0
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：元对象协议 有色 银行家算法 PETRI网
王生原
作品数：72被引量：193H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
郭胜基
作品数：2被引量：0H指数：0
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：元对象协议 有色 银行家算法 PETRI网