Dipartimento di Informatica, Universita del Piemonte Orientale, Alessandria;
Dipartimento di Informatica, Universita di Torino, Torino;
机译:验证基于多主体承诺的协议的一致性
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:验证代理商与多方协议一致性
机译:通过详尽探索进行的UML-RT协议一致性验证:从理论到实现。
机译:使用标准验证数据集评估推注电子适形疗法的Eclipse eMC算法
机译:验证代理与多方协议的一致性
机译:关于通信协议的协商代理的形式一致性验证