Protocol Validation by Duologue-Matrix Analysis
- 1 August 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 26 (8) , 1187-1194
- https://doi.org/10.1109/tcom.1978.1094227
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 1978
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Communication protocols and error recovery proceduresPublished by Association for Computing Machinery (ACM) ,1975
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960