DING Jin, YANG Peigen. FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOLJ. Journal of Computer Research and Development, 1997, 34(S1).
Citation:
DING Jin, YANG Peigen. FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOLJ. Journal of Computer Research and Development, 1997, 34(S1).
DING Jin, YANG Peigen. FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOLJ. Journal of Computer Research and Development, 1997, 34(S1).
Citation:
DING Jin, YANG Peigen. FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOLJ. Journal of Computer Research and Development, 1997, 34(S1).
FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOL
The formal description technique of ESTELLE and the automatic implementation tool EIT used to specify and develop the TFTP protocol are presented. The functions of the formal description are enhanced to make the protocol description more independent of implementation environment by inserting qualifying comments in ESTELLE text to meet the portability objective of protocols.
DownLoad: