A semi-automatic approach to protocol implementation : the ISO class 2 Transport protocol as an example
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. After a brief overview of Estell...
Main Author: | Lau, Allen Chakming |
---|---|
Language: | English |
Published: |
University of British Columbia
2010
|
Online Access: | http://hdl.handle.net/2429/25907 |
Similar Items
-
Semi-automatic implementation of network protocols
by: Ford, Daniel Alexander
Published: (2010) -
Semi-automatic protocol implementation using an Estelle-C compiler, LAPB and RTS protocols as examples
by: Lu, Jing
Published: (2010) -
Conformance testing of OSI protocols : the class O transport protocol as an example
by: Kou, Tian
Published: (2010) -
Total correctness of an ISO transport protocol subset
by: Jürgensen, Wolfgang
Published: (2010) -
On implementing the ISO virtual terminal protocol for a UNIX 4.2 BSD environment
by: Ng, Steve Chi Ho
Published: (2010)