Design Resuse; Co-design; Co-Verification; Prototyping;
机译:混合动力系统可重用模型库的面向对象设计-第一部分:一种设计方法
机译:基于通用系统Verilog通用验证方法的可重用验证环境,可有效验证图像信号处理IPS / SOCS
机译:面向对象仿真的嵌入式系统设计验证
机译:嵌入式系统设计和验证:重用面向原型的原型方法
机译:可重构/可重用汽车装配系统的设计和分析方法。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:嵌入式系统设计和验证:重用面向原型的原型方法
机译:利用可视化编程语言为专家系统开发结构化设计和编程方法;结构化方法学在mK92维护顾问专家系统,性能模块原型中的应用