A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

M. A. Fecko، نويسنده , , M. u. Uyar، نويسنده , , P. D. Amer، نويسنده , , A. S. Sethi، نويسنده , , T. Dzik، نويسنده , , R. Menell، نويسنده , , M. McMahon، نويسنده ,

روزنامه با شماره پیاپی سال 2000

18

1196

1213

Conformance testing , Protocol specification , Estelle , Testing , MIL-STD 188-220 , Test case generation

Computer Communications

2000

Computer Communications

309219