机译:使用不受信任的组件构建可信赖的系统:一种高级综合方法
机译:值得信赖的网络物理系统:符合信任和可信度的设计和评估系统框架
机译:值得信赖的网络物理系统:符合信任和可信度的设计和评估系统框架
机译:集成的软软件协同综合和高级综合,可在功耗和延迟限制下设计嵌入式系统
机译:证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
机译:代谢工程化的大肠杆菌中卟啉的高产量:从涉及血红素生物合成的过表达基因组装的途径的系统性扩展。
机译:用于功率和延迟约束下嵌入式系统设计的集成硬件 - 软件协同合成和高级综合
机译:通过高级综合开发值得信赖的系统开发。