A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs

Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli. A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. In ICOIN. pages 155-162, 2001. [doi]

Abstract

Abstract is missing.