Foreign reports; Protocols; Aose(Agent oriented software engineering);
机译:缓存一致性协议的模型检查数据一致性
机译:缓存一致性协议的模型检查数据一致性
机译:在具有多个加权代理的决策问题中检查解决方案的一致性
机译:检查代理设计的一致性对早期缺陷位置的交互协议
机译:模型检查顺序一致性和参数化协议。
机译:免疫肿瘤药物早期临床试验的设计注意事项
机译:检查代理设计与早期缺陷定位的交互协议的一致性
机译:关于通信协议的协商代理的形式一致性验证