...正确性证明[gap=1232]ion problem; problem reduction; algorithm derivation; PAR （partition-and-recur）; correctness proof...
基于190个网页-相关网页
partial correctness proof [计] 部分正确性证明
program correctness proof [计] 程序正确性证明
protocol correctness proof 协议正确性证明
programming correctness proof 程序正确性证明
correctness proof of program 程序正确性证明
proof of program correctness [计] 程序正确性证明
proof of correctness 程序正确性证明 ; 正确性的证明
correctness ȅ proof 正确性证明
correctness E proof 正确性证明
The correctness proof of the algorithm is also given in this paper.
本文还给出了该算法的正确性证明。
The correctness proof and complexity analysis of LEACH - ZMH are given.
给出LEACH - Z MH的正确性证明和复杂性分析。
Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
应用推荐