Two standards means problems: A case study on formal protocol descriptions

• 1 January 1989
• journal article
• Published by Elsevier in Computer Standards & Interfaces
• Vol. 9  (1) , 11-19
• https://doi.org/10.1016/0920-5489(89)90040-8

Abstract

Keywords

• OSI
• FORMAL SPECIFICATION
• FORMAL DESCRIPTION TECHNIQUES
• CONFORMANCE TESTING
• LOTOS
• ESTELLE