Verification of NBS Class 4 Transport Protocol
- 1 August 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 34 (8) , 781-789
- https://doi.org/10.1109/tcom.1986.1096629
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Authentication protocols for computer networks: IComputer Compacts, 1986
- Mechanical verification and automatic implementation of communication protocolsIEEE Transactions on Software Engineering, 1986
- Some operational tools in a OSI protocols study environmentPublished by Association for Computing Machinery (ACM) ,1984
- A formal specification technique and implementation method for protocolsComputer Networks (1976), 1982
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Interprocess Communication Protocols for Computer NetworksPublished by Defense Technical Information Center (DTIC) ,1975