Title of article :
Experience in developing and testing network protocol software using FDTs
Author/Authors :
M. Umit Uyar، نويسنده , , Mariusz A. Fecko، نويسنده , , Ali Y. Duale، نويسنده , , Paul D. Amer، نويسنده , , Adarshpal S. Sethi، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Pages :
21
From page :
815
To page :
835
Keywords :
Formal description technique , Formal specification , Protocol specification , MIL-STD 188-220 , Test case generation , Conformance testing , Estelle , PACS
Journal title :
Information and Software Technology
Serial Year :
2002
Journal title :
Information and Software Technology
Record number :
134985
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134985
بازگشت