机译:在分布式共享内存系统上开发和调试并行程序的数据争用避免和重播方案
机译:使用来自许多不同类型源的数据调试和测试复杂的信息处理系统的模型台
机译:通过三个模型检查器对分布式实时电梯系统进行建模
机译:使用模型检查器和重放工具来调试复杂分布式系统
机译:一维复杂分布参数系统的分布式传递函数方法建模与分析。
机译:分布式水文模型系统中复杂积雪描述的性能:贝希特斯加登阿尔卑斯山高高山地形的案例研究
机译:重播复杂实时系统的调试:两个人的经验 工业案例研究
机译:复杂分布式系统建模与分析框架