机译:空间分布张力和多重约束的多绳索并联悬架提升系统建模与控制
机译:在Object-Z中指定复杂系统:以汽油供应系统为例
机译:在Object-Z中指定复杂系统:以汽油供应系统为例
机译:在Object-Z中指定并行和分布式系统:提升案例研究
机译:用于研究崎Terra地形运动的2D步行机器人并行分布式嵌入式控制系统。
机译:ParBiBit:用于现代分布式内存系统上的二进制双群集的并行工具
机译:在Object-Z中指定并行和分布式系统:提升案例研究
机译:信号处理的分布式计算:异步并行计算的建模。附录G.关于专用并行处理系统的设计和建模