A graphical representation for the formal description technique Estelle
Includes bibliographical references. === This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description Technique Estelle and present a prototyp...
Main Author: | Templemore-Finlayson, Justin George |
---|---|
Other Authors: | Kritzinger, Pieter S |
Format: | Dissertation |
Language: | English |
Published: |
University of Cape Town
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11427/16139 |
Similar Items
-
An Estelle compiler
by: Van Dijk, Jacques
Published: (2016) -
Protocol engineering from Estelle specifications
by: Wheeler, Graham
Published: (2015) -
Design and implementation of a new validation method for the communication protocols specified by estelle formal description technique
by: Nian, Tian Shou, et al.
Published: (1994) -
Specification and validation of Q.2931 ATM signaling protocol using estelle
by: Tasak, Dariusz.
Published: (1997) -
An Estelle-C compiler for automatic protocol implementation
by: Chan, Robin Isaac Man-Hang
Published: (2010)