Markov chain; CTMC; VM-Rejuv; rejuvenation;
机译:评估概率模型检查器以对重试排队系统进行建模和分析
机译:具有多个混合输入的动态系统概率设计的简单显式元模型
机译:满足用户对电子协作系统的需求:多角度建模方法的建议
机译:使用简单概率模型的多角度评估自我修复系统
机译:使用概率有限状态模型评估案例系统的人机界面
机译:简单而不简单:对宫颈癌筛查经济评估的马尔可夫模型的系统综述
机译:基于简单概率模型的自我修复系统多视角评估
机译:多视角协同建模的系统和方法。