Self-organizing MAS; cooperative ants; formal verification; refinement; Event-B;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:具有事件B的时间受限ARQ协议的形式化建模和验证
机译:普通定时Petri网自动转换为Event-B以进行正式验证
机译:事件-B中合作蚂蚁行为的正式建模与验证
机译:促进形式验证合作驾驶应用程序:技术和案例研究。
机译:超殖民地的气味:蚁群识别线索的发现合成和行为验证
机译:基于事件-B基于智能合同的正式建模和验证方法