Semi-automatic implementation of OSI protocols
- 1 April 1990
- journal article
- research article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 18 (3) , 221-238
- https://doi.org/10.1016/0169-7552(90)90135-f
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Automated protocol implementation with RTAGIEEE Transactions on Software Engineering, 1988
- Semiautomatic implementation of protocols using an Estelle-C compilerIEEE Transactions on Software Engineering, 1988
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- Semiautomatic Implementation of Communication ProtocolsIEEE Transactions on Software Engineering, 1987
- Verification of NBS Class 4 Transport ProtocolIEEE Transactions on Communications, 1986
- Mechanical verification and automatic implementation of communication protocolsIEEE Transactions on Software Engineering, 1986
- A Meta-Implementation for Systems Network ArchitectureIEEE Transactions on Communications, 1982
- OSI Reference Model--The ISO Model of Architecture for Open Systems InterconnectionIEEE Transactions on Communications, 1980
- A General Transition Model for Protocols and Communication ServicesIEEE Transactions on Communications, 1980
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980