电脑体验，效果更佳

周清雷图谱-自然科学领域：

相关人员

刘文红 王静 毋晓英 赵东明 朱维军 汪国安 周文俊 张树仁

研究领域

取证模型 黄金分割点 UPPAAL 流媒体 并发模型 认证测试 时间树自动机 ω-语言

所属机构

河南郑州 陕西西安 郑州大学信息工程学院 郑州大学计算机科学系 信息工程大学信息工程学院 西安电子科技大学计算机学院 河南省工商银行营业部科技处 解放军信息工程大学信息工程学院

标签云