Nondeterministic State Machines in Protocol Conformance Testing

Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das. Nondeterministic State Machines in Protocol Conformance Testing. In Omar Rafiq, editor, Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993. Volume C-19 of IFIP Transactions, pages 363-378, North-Holland, 1993.

Abstract

Abstract is missing.