Fault Detection within a Component of a System of Communicating FSMs

Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko. Fault Detection within a Component of a System of Communicating FSMs. In Ina Schieferdecker, Hartmut König, Adam Wolisz, editors, Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. Volume 210 of IFIP Conference Proceedings, pages 317, Kluwer, 2002.

Abstract

Abstract is missing.