![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
A method for assigning a value to a communication protocol test case
Keywords: روش رسمی توصیف; Formal Description Technique; Protocol testing; Estelle; Sensitivity analysis; Test case value