机译:使用事件B推理几乎确定的收敛性质
Institute of Information Security, ETH Zurich, Switzerland;
Event-B; Formal modelling; Probabilistic termination; Almost-certain convergence; Tool support;
机译:在事件B中引入概率推理
机译:在Event-B中引入概率推理
机译:将随机推理整合到Event-B开发中
机译:关于事件B的活跃性的推理
机译:张量:自适应近似算法,方向融合和关联属性
机译:评估医学道德推理中元认知的工具的设计和心理计量特性
机译:关于事件-B中的情盈率的推理
机译:基于知识的危险识别中的流体性质推理