Model-based product lines; Consistency checking; Sales support;
机译:基于协作模型的测试:用于检测生命周期的工业产品的模块化框架
机译:用于各种内存一致性模型的通用模型检查框架
机译:功能满足场景:基于场景的建模和一致性检查产品线规格
机译:将一致性检查框架应用于工业产品线中的异构模型和工件
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:建立适用于粪便来源的工业生产的医药产品的欧盟范围内适当的监管框架
机译:指定异构模型的重叠以进行全局一致性检查