Dependable systems; Importance sampling; Rare events; Statistical model checking;
机译:罕见事件模拟,可快速修复高度可靠的系统
机译:具有一般故障和维修流程的快速可靠的系统仿真
机译:非马尔可夫连续k出n:F可修复系统的可靠性估计
机译:具有快速修复功能的高度可靠系统的稀有事件模拟
机译:快速模拟马尔可夫级/相过程中的稀有事件
机译:加权下一步反应方法和参数选择可有效模拟生化反应系统中的稀有事件
机译:罕见事件模拟,用于高度可靠的快速维修系统