INRIA Rhone-Alpes / VASY, 655, avenue de 1'Europe F-38330 Montbonnot Saint-Martin, France;
机译:在共享内存互斥协议中说明了使用CADP进行模型检查和性能评估
机译:基于事务的验证和仿真相结合:实现数兆赫的验证性能
机译:并行组合验证:通过评估多个挑战控制结构来减少自动NMR结构验证中的误报
机译:用CADP结合功能验证和性能评估
机译:软件设计中功能验证和性能评估系统的研究
机译:诊断干预验证调整(DIVA)模型对综合基础医疗规划和绩效改善的有效性:尼日利亚卡杜纳州的嵌入式混合方法评估
机译:利用CaDp组合功能验证与绩效评估