S. Aggarwal and K. Sabnani (eds.). Protocol Specification, Testing, and Verification VIII. Elsevier Science Publishers B.V. (North-Holland), 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1993) (15 citations) (Correct)
....of our work to the very old and very active research area of protocol verification. An important survey of the field was published as long ago as 1979[Sun79] and the field has an annual conference (Protocol Testing, Specification, and Verification) with proceedings published by North Holland[Ae88]. The International Standards Organization has defined seven levels of protocol. Level 1, the physical level, deals with pin connections, voltage levels, and physical signal formats. Level 2, the data link level, concerns itself with data formats, synchronization, error control, and flow ....
Aggarwal, S. and Sabnani, K. (eds.): Protocol Specification, Testing, and Verification VIII. Elsevier Science Publishers B.V. (North-Holland), 1988.
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1992) (15 citations) Self-citation (Protocol) (Correct)
No context found.
S. Aggarwal and K. Sabnani (eds.). Protocol Specification, Testing, and Verification VIII. Elsevier Science Publishers B.V. (North-Holland), 1988.
VALIDE -- Formal Methods and Tools for Distributed System Design - Groups (1994) (Correct)
No context found.
S. Aggarwal and K. Sabnani, editors. Protocol Specification, Testing, and Verification VIII. Elsevier Science Publishers B.V., 1988.
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