Probabilistic model checking

英 美
  • 概率模型检测
  • checking n.校核;检验;核算;验算动词check的现在分词形式.
  • model n.模范;模特儿;模型adj.模范的;作模型用的v.做模型;模仿;塑造
  • probabilistic adj.盖然论的;概率的;可能性的