Runtime probabilistic model checking; Incremental probabilistic model checking; Stochastic system; Discrete-Time Markov Chain;
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:基于运行时模型的实时嵌入式系统检查的设计模式
机译:运行时概率模型检查的间隔变化点检测
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:运行时的概率模型检查云资源的配置