机译:面向增量软件产品线的增量模型检查
TU Darmstadt, Real-Time Systems Lab, Germany;
TU Braunschweig, Institute for Programming and Reactive Systems, Germany;
TU Braunschweig, Institute for Programming and Reactive Systems, Germany;
TU Braunschweig, Institute for Programming and Reactive Systems, Germany;
Variability modeling; Operational semantics; Model checking;
机译:面向增量软件产品线的组成类型检查
机译:面向增量软件产品线的组成类型检查
机译:关于检查状态图的面向增量的产品线
机译:面向增量型软件产品线的增量模型切片
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:面向Delta的自动化系统UmL模型中的增量一致性检查