Author/Authors :
R. Gotzhein، نويسنده , , J. Bredereke، نويسنده , , W. Effelsberg، نويسنده , , Claude S. Fischer، نويسنده , , T. Held، نويسنده , , H. Konig، نويسنده ,
Keywords :
Communication protocol , Estelle , Protocol implementation , Efficiency , Formal specification