机译:使用NPATRL和NRL协议分析器对解释协议的组域进行正式规范和分析
机译:方案,临床研究报告和奥利司他试验的已发表论文中不良事件的评估:文献分析
机译:基于GPSR位置的Manet路由协议对位置信息不准确性的移动性参数影响分析
机译:NRL协议分析工具:立场文件
机译:分析造纸机系统的机器学习模型和预测工具。
机译:论文:将伦理原则纳入临床研究方案:方案作者和伦理委员会的工具
机译:Scyther工具:安全协议的验证,伪造和分析-工具文件
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析