...
机译:在具有阵列的模型检查数据独立系统上,无需重置
Department of Computer Science, University of Warwick, Coventry CV4 7AL, UK;
model checking; data independence; arrays; μ-calculus;
机译:无需重置即可发现和学习具有预测状态表示的动态系统模型
机译:模型检查加权整数重置定时自动机
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:在模型上检查带有全阵操作的数据独立系统
机译:将类型检查与模型检查相结合以进行系统验证
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:在模型检查数据独立系统与阵列没有重置