Institutional Repository

Browsing South African Computer Journal 1992(8) by Subject "Correctness of protocols"

Browsing South African Computer Journal 1992(8) by Subject "Correctness of protocols"

Sort by: Order: Results:

  • Wheeler, G; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1992)
    The Protocol Engineering Workbench (PEW) is an integrated software system or tool for the analysis of communication protocols specified using the Estelle Formal Description Technique or FDT. The execution of systems specified ...

Search UnisaIR


Browse

My Account