Estelle formal specification of ISO virtual terminal

This publication has 10 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• The CCITT-specification and description language SDL
  Computer Networks and ISDN Systems, 1989
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Formal description techniques: Communication tools for data communication specialists: Formal specification and implementation of a file transfer protocol
  Computer Networks and ISDN Systems, 1987
• A Test Design Methodology for Protocol Testing
  IEEE Transactions on Software Engineering, 1987
• Testing to assure interworking of implementations of ISO/OSI protocols
  Computer Networks and ISDN Systems, 1986
• Synchronization and Specification Issues in Protocol Testing
  IEEE Transactions on Communications, 1984
• OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection
  IEEE Transactions on Communications, 1980
• Protocol Representation with Finite-State Models
  IEEE Transactions on Communications, 1980
• Formal Techniques for Protocol Specification and Verification
  Computer, 1979