Cryogenics; Statistical methods; Tolerances; Standards; Doors;
机译:基于路径的规范语言中多项式代数的双仿真证明方法
机译:GDT船舶实验的等离子体模拟
机译:基于仿真的方法论,以开发与性能相关的路面养护处理规范
机译:一种模拟GD&T规范的方法
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:异质结构太阳能电池和基于PC1D的模拟中ZnO增长规范的更正数据摘要5(2015)516-521
机译:离散事件仿真中模糊推理系统规范的基于模型的优化方法
机译:HOL2GDT基于形式验证的设计方法