Automated protocol validation: One chain of development
- 31 October 1978
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 2 (4-5), 373-380
- https://doi.org/10.1016/0376-5075(78)90016-8
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978
- Automated Validation of a Communications Protocol: the CCITT X.21 RecommendationIBM Journal of Research and Development, 1978