机译:硬件-软件代码签名中的嵌入式软件验证
embedded software; software verification; symbolic model checking; system/process concurrency; quasi-static scheduling; software synthesis;
机译:硬件-软件代码签名中的嵌入式软件验证
机译:使用自适应全局/本地电源分配和处理方案的多核SoC嵌入式多电源电源管理单元的硬件-软件协同设计
机译:PeaCE:多媒体嵌入式系统的软硬件协同设计环境
机译:验证或确认软硬件代码签名?
机译:启用协议共存:异构计算体系结构上的无线收发器的软硬件协同设计。
机译:微计算机实时生物医学仪器的硬件-软件框架:近期的发展
机译:嵌入式软件验证采用硬件 - 软件协同设计