机译:理性交换的形式模型及其在Syverson协议分析中的应用
BME-HIT PO Box 91, H-1521 Budapest, Hungary;
机译:多方公平交易协议的形式分析与设计
机译:多方公平交易协议的形式分析与设计
机译:公平交换协议的正式模型
机译:F正式分析Syverson合理交流协议
机译:不确定性下自动模型抽象的形式分析:在系统生物学中的应用。
机译:标准化临床研究方案和病例报告表的数据交换:对临床数据交换标准协会(CDISC)操作数据模型(ODM)的适用性评估
机译:合理交流的正式模型及其在SYVERSON协议分析中的应用
机译:使用自动分析工具进行形式建模来设计和参数化分析多机器人协调协议:案例研究。