School of CSE, Kyungpook National University, Daegu, Republic of Korea;
School of CSE, Kyungpook National University, Daegu, Republic of Korea;
School of CSE, Kyungpook National University, Daegu, Republic of Korea;
Code simulation; virtual prototyping; embedded system;
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:硬件-软件代码签名中的嵌入式软件验证
机译:基于软件航天器模拟器的机载飞行软件的开发和验证
机译:开发基于PC的代码模拟器,用于验证无处不在的嵌入式软件
机译:用于嵌入式软件开发的无指令集仿真器的虚拟原型框架
机译:邮票:吞咽运动分析软件的开发和验证
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证