In: Proc. of the Conf. on New Business Applications of Information Technology, Melbourne, pages 69-73. 1989.
Abstract: The main purpose of this paper is to present an overview of the field of protocol engingeering and to then briefly describe some of the tools being developed by Telecom to aid the protocol engineer. The authors introduce the concepts and scope of protocol engineering and stress the need for formal methods.