RWTH Aachen University Department of Computer Science 3 (Software Engineering) Ahornstrasse 55, 52074 Aachen, Germany;
机译:分布式系统中的包容性变换一致性控制算法
机译:分布式图形转换在智能照明系统控制模式自动生成中的应用
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:确保分布式图形转换系统中的一致性
机译:确保在分布式架构中增量单元网络的一致性和效率
机译:机械多体系统的逆动力学:一种改进的算法,可确保运动学和外力之间的一致性
机译:确保分布式图转换系统的一致性