T. Y. Choi. Formal techniques for the specification, verification and construction of communication protocols. IEEE Communications, October 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Language-Based Approach To Protocol Implementation - Abbott (1993) (49 citations) (Correct)
....specification. These are based on simulation models generated from the specification, and queuing theory analysis driven by the specification [Rud85] Compared with protocol specification and verification, there has been less investigation of formal techniques to support protocol implementation [Cho85]. However, some FDTs, particularly state model FDTs, give strong guidance to implementation. Certain FDTs have associated automatic synthesizers that can output part of a protocol implementation based on the specification. These are relatively low level, implementation oriented FDTs, and the ....
T. Y. Choi. Formal techniques for the specification, verification and construction of communication protocols. IEEE Communications, October 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC