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.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
应用推荐