Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been developed for the description of communication protocols an In addition, a notation called ASN.1 is used for the descriptions of the data st protocol data units exchanges between communicating entities at the applica Existing FDT's, such as Estelle, LOTOS and SDL, do not include facilities to d
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf