Advertisement

Abstract

The control of the semantic conformance of protocols is much more difficult and complicated than the control of syntactic correctness.

Keywords

Test Sequence Input Sequence Distinguishing Sequence Abstract Machine State Transition Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Katie Tarnay 1991

Authors and Affiliations

  • K. Tarnay
    • 1
  1. 1.Central Research Institute for PhysicsBudapestHungary

Personalised recommendations