Sciweavers

FORTE
1990

ASN.1 and Estelle Implementation Support Tools

14 years 1 days ago
ASN.1 and Estelle Implementation Support Tools
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
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1990
Where FORTE
Authors Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld
Comments (0)