Consistency checking; Performance; Incremental checking;
机译:通过模型检查和形式设计规则检查扩展静态验证
机译:使用Kuka KR210-2工业机器人的增量形成 - 关于设计规则和过程建模的研究
机译:SPIF技术中的设计规则与过程建模的集成 - 单点增量成形工业传播的综述
机译:复杂设计规则和较大模型更改的增量一致性检查
机译:分布式模型的合并和一致性检查。
机译:旨在帮助GRADE评估保持一致性和可重复性的清单:开发和试点验证
机译:复杂设计规则和较大模型更改的增量一致性检查