ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy;
Universita di Torino, C.so Svizzera 185, 10149 Torino, Italy;
ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy;
ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy;
Universita di Torino, C.so Svizzera 185, 10149 Torino, Italy;
机译:对产品系列中的可变性进行建模和分析:具有可变性约束的模态转换系统的模型检查
机译:具有可变性约束的模态过渡系统的表达性
机译:特征转换系统的模态转换系统编码
机译:从特色过渡系统到具有可变性约束的模态过渡系统
机译:铟过渡金属与n型砷化镓的欧姆接触的热力学研究,以及季镓-铟-(过渡或贵金属)-砷体系的热化学行为概述。
机译:护理系统中的可变性支持关键新生儿重症监护单位过渡
机译:从特色过渡系统到具有可变性约束的模态过渡系统