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