机译:地对空热交换器的热设计。第二部分新的瞬态半分析模型和估算空气温度的实验验证
机译:自动化设计顾问工具(ADAT):开发和验证基于模型的工具以支持NextGen运营的驾驶舱自动化设计
机译:IBM Blue Gene / Q的建模,验证和协同设计:工具和示例
机译:WDM RZ系统的半分析建模和设计工具。验证结果
机译:成功的系统级自动化和设计方法的要素。支持多种计算模型,异构行为层次,模型驱动的验证以及面向服务的工具集成环境。
机译:调制技术(曼彻斯特代码NRZ或RZ)对混合WDM / TDM无源光网络的操作的影响
机译:设计电磁建模工具的验证活动