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.

Authors

Alexandre Petrenko

This author has not been identified. Look up 'Alexandre Petrenko' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google

Alexandre Lebedev

This author has not been identified. Look up 'Alexandre Lebedev' in Google

Anindya Das

This author has not been identified. Look up 'Anindya Das' in Google