...
机译:一个更简单,更正式的几何公差模型
Technical drawingsGPStolerancinglanguageorientation-location;
机译:一个用于从制造工艺计划中阐明形式几何和尺寸公差方案的框架,以进行三维一致性分析
机译:变化传播预测:产品二维几何模型的形式模型
机译:通过投影扩展CSG:迈向正式认证的几何建模
机译:一个更简单,更正式的几何公差模型
机译:开发用于建模几何尺寸和公差的数学工具。
机译:P19-34。小鼠模型中B细胞耐受性的正式破坏诱导HIV阻断CCR5特异性抗体
机译:一个更简单,更正式的几何公差模型
机译:软件容错性的形式化建模与分析