机译:将随机推理整合到Event-B开发中
Abo Akademi University, Joukahaisenkatu 3-5, 20520 Turku, Finland;
Abo Akademi University, Joukahaisenkatu 3-5, 20520 Turku, Finland;
Abo Akademi University, Joukahaisenkatu 3-5, 20520 Turku, Finland;
Event-B; Refinement; Probabilistic reasoning; Reliability; Responsiveness; Cyclic systems; Markov processes;
机译:在B和Event-B开发环境中集成SMT求解器
机译:缩减Event-B:用例开发和Rodin集成
机译:在事件B中引入概率推理
机译:随机事件-B中不变的随机类似物
机译:将基于案例和基于规则的推理集成到基于知识的系统开发中。
机译:知觉干扰语义干扰和关系整合在类比推理发展中的作用
机译:事件B的裁员:UseCase-wise开发和Rodin集成