机译:基于组件的硬件/软件协同验证,用于构建可信赖的嵌入式系统
Department of Computer Science, Portland State University, Portland, OR 97207, USA;
component-based embedded systems; component model; components; model checking; compositional reasoning; hardware/software co-verification; verification reuse;
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:嵌入式系统上用于硬件,软件和软硬件协同设计的Co-Z ECC标量乘法
机译:Codem:用于支持硬件服务的嵌入式多核系统的软件/硬件代码签名
机译:LiveCheckHSI:带有嵌入式片上系统航空电子设备的高光谱成像系统的硬件/软件协同验证工具
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:动态配置和计算机辅助干预系统的控制基于构件的软件
机译:基于组件的硬件/软件协同验证