An integrated environment for developing communication protocols
- 3 August 1992
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 25 (1) , 43-61
- https://doi.org/10.1016/0169-7552(92)90123-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- An interpreter for LOTOS, a specification language for distributed systemsSoftware: Practice and Experience, 1988
- Semiautomatic implementation of protocols using an Estelle-C compilerIEEE Transactions on Software Engineering, 1988
- Development of Veda, a prototyping tool for distributed algorithmsIEEE Transactions on Software Engineering, 1988
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980