Title of article
From Protocol Models to Their Implementation: A Versatile Testing Methodology
Author/Authors
Maria Varsamou، نويسنده , , University of Patras Nikolaos Papandreou، نويسنده , , Computer Technology Institute Theodore Antonakopoulos، نويسنده , , University of Patras ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
13
From page
416
To page
428
Abstract
The design and test of communication protocols relies extensively on formal description languages. In this protocol design and verification scheme, high-level models serve in generating simulation sequences for low-level models, and all simulation is based on directed testing. The methodology is versatile and flexible, and difficult to set up the first time.
Journal title
IEEE Design and Test of Computers
Serial Year
2004
Journal title
IEEE Design and Test of Computers
Record number
431524
Link To Document