The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 202 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4
[page]
1985
Journal of Research and Practice in Information Technology
Preserved Fulltext
The third paper discussed the use of the protocol description language (PDIL) to model the NADIR transport protocol for use on satellite channels. ...
—two of the three papers in this section describe automated tools to produce an implementation of a protocol in a programming language such as Pascal or C from a formal specification of the The third ...
A semi-automatic approach to protocol implementation : the ISO class 2 Transport protocol as an example
1986
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Formal Description Techniques (FDTs) for specifying communication protocols, and the adopted FDT standards such as Estelle have opened a new door for the possibility of automating the implementation of ...
a complex communication protocol directly from its specification. ...
[Ansart83] Ansart, J.P., Chari, V. and Simon, D., "From formal description to automated implementation using PDIL," Protocol Specification, Testing and Verification, (IFIP/WG 6.1), H. Rudin and C. H. ...
doi:10.14288/1.0051901
fatcat:gtn6ppci7rh5dp4dalbv5qx7ke