机译:对与事件B中的活动特性相关的多主体系统建模
University POLITEHNICA of Bucharest, 313 Splaiul Independentei, Bucharest, 060042, Romania;
multi-agent systems; formal methods; Event-B; refinement; liveness; validation;
机译:用于评估联合交付系统的多主体系统建模
机译:使用Event-B模拟混合系统时序约束的建模
机译:建模物理/数字系统:正式的Event-B与图解机器
机译:具有赛事-B的自组织多智能体系的模式模型
机译:使用马尔可夫链模型的多智能体系自组织
机译:基于人工免疫系统改性算法预测药物特性的多剂智能系统的本体论模型
机译:基于事件B的多智能体系统中交互属性的验证