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...

Full description

Bibliographic Details
Main Author: Lau, Allen Chakming
Language:English
Published: University of British Columbia 2010
Online Access:http://hdl.handle.net/2429/25907