钟德明 程伟 杨顺昆 阮镰 张兴 崔小欣 胡建军 盛世敏 周卓岑 周豪 陈红英 刘斌 李国亮 闵俊 高小鹏 冯建华 于敦山 左仁福

系统芯片 测试数据压缩 Wright 梯形图语言 实时嵌入式软件测试平台 PTIDR编码 实时协处理器 TimedCSP 哈夫曼编码 多机系统 硬实时任务 软件体系结构 软件测试过程 贝叶斯纳什均衡 软硬件协同设计 Timed CSP 拓扑排序 软件仿真测试平台 实时系统 AOV图 VSPTIDR编码 SEC 蚁群算法 解码器 TCSP 博弈论 建模环境 体系结构描述语言 形式语言 测试访问机制

北京大学深圳研究生院信息工程学院 广东深圳 西安微电子技术研究所 北京大学信息科学技术学院 北京大学深圳研究生院集成微系统科学工程与... 北京100871北京大学深圳研究生院信息... 北京大学信息科学技术学院微电子所 北京大学信息科学技术学院微电子学系SOC...