Title of article
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
Author/Authors
M. A. Fecko، نويسنده , , M. u. Uyar، نويسنده , , P. D. Amer، نويسنده , , A. S. Sethi، نويسنده , , T. Dzik، نويسنده , , R. Menell، نويسنده , , M. McMahon، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
18
From page
1196
To page
1213
Keywords
Conformance testing , Protocol specification , Estelle , Testing , MIL-STD 188-220 , Test case generation
Journal title
Computer Communications
Serial Year
2000
Journal title
Computer Communications
Record number
309219
Link To Document