...
机译:Rebeca模型检查中的对称和偏序约简技术
CWI, Amsterdam, The Netherlands;
Reykjavik University, Reykjavik, Iceland University of Tehran, Tehran, Iran IPM, Tehran, Iran;
Eindhoven University of Technology, Eindhoven, The Netherlands;
University of Tehran, Tehran, Iran;
Sharif University of Technology, Tehran, Iran;
机译:Rebeca模型检查中的对称和偏序约简技术
机译:基于Actor的切片技术可有效简化Rebeca模型
机译:定时Rebeca模型的统计模型检查
机译:从不对称到完全对称性:模型检查的对称性降低的新技术
机译:审查线性回归模型的鲁棒推理和模型检查技术。
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:Rebeca模型检查中的对称和偏序约简技术
机译:模型检查'Rebeca'中的对称性和偏序降阶技术