University of Edinburgh Edinburgh Scotland;
IMT School for Advanced Studies Lucca Italy;
Statistical model checking; Steady-state; Batch means; MultiVeStA;
机译:离散事件系统的瞬态和稳态行为的优化
机译:离散时间单到达和批次到达系统的稳态和瞬态延迟分析
机译:噪声激发并集成的神经元网络的事件驱动数学框架:通过随机演算,峰值训练统计信息,受排队论启发的网络分析和事件驱动模拟器
机译:离散事件模拟器的瞬态和稳态统计分析
机译:使用离散事件模拟器和基于上下文的警报系统优化露天采矿的运输周期模型。
机译:噪声激发并集成的神经元网络的事件驱动数学框架:通过随机演算训练峰值统计信息受排队论启发的网络分析和事件驱动模拟器
机译:multiVesta:离散事件模拟器的统计模型检查