...
机译:迈向嵌入式软件的全自动综合
Embedded software; formal techniques; quantified Boolean formulas (QBFs); synthesis;
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:嵌入式处理器的基于软件的自动自动测试生成
机译:嵌入式处理器的基于软件的自动自动测试生成
机译:面向嵌入式软件应用程序的信息流驱动执行管理器的自动综合
机译:使用DataFlow计划图综合嵌入式软件
机译:AR2一种用于眼电EEG解释的新颖的自动减少肌肉伪影的软件方法:与商用软件的性能验证和比较
机译:实时嵌入式软件的自动合成与验证