机译:在事件B中引入概率推理
Univ Nantes, CNRS, UMR 6004, LS2N, Nantes, France;
Univ Nantes, CNRS, UMR 6004, LS2N, Nantes, France;
Univ Nantes, CNRS, UMR 6004, LS2N, Nantes, France;
Event-B; Probabilistic systems; Markov chains;
机译:在Event-B中引入概率推理
机译:将随机推理整合到Event-B开发中
机译:使用事件B推理几乎确定的收敛性质
机译:概率弧度一致性:约束推理与概率推理之间的联系
机译:概率推理的概率耦合
机译:精神分裂症和自闭症挥发性高估?使用概率推理任务的比较研究
机译:在事件B中引入概率推理
机译:将默认和似然推理建模为概率推理