机译:面向增量软件产品线的组成类型检查
Dipartimento di Informatica, Universita di Torino,C.so Svizzera, 185, 10149 Torino, Italy;
Dipartimento di Informatica, Universita di Torino,C.so Svizzera, 185, 10149 Torino, Italy;
Technische Universitaet Braunschweig, Muehlenpfordtstr. 23,38106 Braunschweig, Germany;
机译:面向增量软件产品线的组成类型检查
机译:面向增量软件产品线的增量模型检查
机译:关于检查状态图的面向增量的产品线
机译:重构面向Delta的产品线以实施有效的类型检查准则
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:用于评估治疗方案的软件/硬件产品MyDiaBase + RxChecker的性能分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析