匡春光 何蓉晖 熊志辉 陈吉华 李思昆 赵文辉

虚拟微处理器 螺旋模型 软硬件协同设计 SoC系统建模 虚拟原型 格式化字符串 基于平台的设计 并行设计 多层次仿真工具 约束任务流图模型 脆弱性模式 竞争条件 环境欺骗 缓冲区溢出

国防科技大学计算机学院 北京市9702信箱19号4室北京 国防科学技术大学计算机学院 北京系统工程研究所 湖南长沙