For the most recent entries see the Petri Nets Newsletter.

Computer Aided Protocol Engineering.

Billington, J.; Kinny, D.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography