Sciweavers

FORTE
1990
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 dev...
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf...