Institutional Repository

Browsing SAICSIT Digital Archive by Author "Punt, JL"

Browsing SAICSIT Digital Archive by Author "Punt, JL"

Sort by: Order: Results:

  • A protocol validation system 
    Punt, JL (1987)
    This paper discusses a protocol validation system. The input to the system is a protocol definition specified in the specification language ESTELLE. The ESTELLE specification is the input to a translator program which ...

Search UnisaIR


Browse

My Account